From 572b9a9ac5f51a2e6d2d52117a125f871313f4c1 Mon Sep 17 00:00:00 2001 From: Marco Giacalone Date: Mon, 11 Nov 2024 13:10:50 +0100 Subject: [PATCH] Create clean-ci.yml Added GitHub action to restart PR builds --- .github/workflows/clean-ci.yml | 39 ++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 .github/workflows/clean-ci.yml diff --git a/.github/workflows/clean-ci.yml b/.github/workflows/clean-ci.yml new file mode 100644 index 000000000..aa5364983 --- /dev/null +++ b/.github/workflows/clean-ci.yml @@ -0,0 +1,39 @@ +--- +name: Clean PR builds + +'on': + workflow_dispatch: + inputs: + pr: + description: PR number in this repo to be cleaned + type: string # can't use number here + required: true + + # Warning: GitHub limits the total number of inputs to 10, so a maximum of + # 9 checks is allowed here! + # Warning: the check_* keys are magic and must consist of the string + # "check_" followed by the applicable check name exactly. The + # "description" field is only the human-readable label for the input. + 'check_build/O2DPG/sim/o2': + description: build/O2DPG/sim/o2 + type: boolean + default: true + 'check_build/O2DPG/O2fst/o2': + description: build/O2DPG/O2fst/o2 + type: boolean + default: true + +permissions: {} + +jobs: + clean: + name: Clean PR checks + uses: alisw/ali-bot/.github/workflows/clean-pr-checks.yml@master + with: + owner: ${{ github.event.repository.owner.login }} + repo: ${{ github.event.repository.name }} + pr: ${{ github.event.inputs.pr }} + checks: ${{ toJSON(github.event.inputs) }} + permissions: + pull-requests: read # to get last commit for pr (octokit/graphql-action) + statuses: write # for set-github-status