Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

feat: add cli command scaletest dynamic-parameters#7610

feat: add cli command scaletest dynamic-parameters

feat: add cli command scaletest dynamic-parameters #7610

Workflow file for this run

name:pr-cleanup
on:
pull_request:
types:closed
workflow_dispatch:
inputs:
pr_number:
description:"PR number"
required:true
permissions:
contents:read
jobs:
cleanup:
runs-on:"ubuntu-latest"
permissions:
# Necessary to delete docker images from ghcr.io.
packages:write
steps:
-name:Harden Runner
uses:step-security/harden-runner@f4a75cfd619ee5ce8d5b864b0d183aff3c69b55a# v2.13.1
with:
egress-policy:audit
-name:Get PR number
id:pr_number
run:|
if [ -n "${{ github.event.pull_request.number }}" ]; then
echo "PR_NUMBER=${{ github.event.pull_request.number }}" >> "$GITHUB_OUTPUT"
else
echo "PR_NUMBER=${PR_NUMBER}" >> "$GITHUB_OUTPUT"
fi
env:
PR_NUMBER:${{ github.event.inputs.pr_number }}
-name:Delete image
continue-on-error:true
uses:bots-house/ghcr-delete-image-action@3827559c68cb4dcdf54d813ea9853be6d468d3a4# v1.1.0
with:
owner:coder
name:coder-preview
token:${{ secrets.GITHUB_TOKEN }}
tag:pr${{ steps.pr_number.outputs.PR_NUMBER }}
-name:Set up kubeconfig
run:|
set -euo pipefail
mkdir -p ~/.kube
echo "${{ secrets.PR_DEPLOYMENTS_KUBECONFIG }}" > ~/.kube/config
export KUBECONFIG=~/.kube/config
-name:Delete helm release
run:|
set -euo pipefail
helm delete --namespace "pr${PR_NUMBER}" "pr${PR_NUMBER}" || echo "helm release not found"
env:
PR_NUMBER:${{ steps.pr_number.outputs.PR_NUMBER }}
-name:"Remove PR namespace"
run:|
kubectl delete namespace "pr${PR_NUMBER}" || echo "namespace not found"
env:
PR_NUMBER:${{ steps.pr_number.outputs.PR_NUMBER }}
-name:"Remove DNS records"
run:|
set -euo pipefail
# Get identifier for the record
record_id=$(curl -X GET "https://api.cloudflare.com/client/v4/zones/${{ secrets.PR_DEPLOYMENTS_ZONE_ID }}/dns_records?name=%2A.pr${PR_NUMBER}.${{ secrets.PR_DEPLOYMENTS_DOMAIN }}" \
-H "Authorization: Bearer ${{ secrets.PR_DEPLOYMENTS_CLOUDFLARE_API_TOKEN }}" \
-H "Content-Type:application/json" | jq -r '.result[0].id') || echo "DNS record not found"
echo "::add-mask::$record_id"
# Delete the record
(
curl -X DELETE "https://api.cloudflare.com/client/v4/zones/${{ secrets.PR_DEPLOYMENTS_ZONE_ID }}/dns_records/$record_id" \
-H "Authorization: Bearer ${{ secrets.PR_DEPLOYMENTS_CLOUDFLARE_API_TOKEN }}" \
-H "Content-Type:application/json" | jq -r '.success'
) || echo "DNS record not found"
env:
PR_NUMBER:${{ steps.pr_number.outputs.PR_NUMBER }}
-name:"Delete certificate"
if:${{ github.event.pull_request.merged == true }}
run:|
set -euxo pipefail
kubectl delete certificate "pr${PR_NUMBER}-tls" -n pr-deployment-certs || echo "certificate not found"
env:
PR_NUMBER:${{ steps.pr_number.outputs.PR_NUMBER }}

[8]ページ先頭

©2009-2025 Movatter.jp