diff --git a/.github/workflows/weekly-release.yml b/.github/workflows/weekly-release.yml index 7c8ea7a..602e44d 100644 --- a/.github/workflows/weekly-release.yml +++ b/.github/workflows/weekly-release.yml @@ -15,6 +15,10 @@ on: description: "Also release the other maintained branches, as the schedule does" type: boolean default: false + skip-ci-check: + description: "Release this branch even though its CI failed or is still running" + type: boolean + default: false permissions: {} @@ -26,6 +30,11 @@ jobs: contents: write pull-requests: write uses: matomo-org/plugin-ci-workflows/.github/workflows/plugin-dev-release.yml@main + with: + skip-ci-check: ${{ inputs.skip-ci-check || false }} + secrets: + # A user other than github-actions, so the bot's date PR can be approved and merged. + approver-token: ${{ secrets.TESTS_ACCESS_TOKEN }} # A dispatched run must not dispatch again, or the branches would keep dispatching each other. other-branches: