Armand Grillet
dc486e0ca4
Revert "Only run workflows if they might be able to work (#63164)"
This reverts commit 234b5c8c21.
18 lines
597 B
YAML
18 lines
597 B
YAML
name: Run when PRs are closed
|
|
on:
|
|
pull_request:
|
|
types:
|
|
- closed
|
|
concurrency:
|
|
group: pr-commands-closed-${{ github.event.number }}
|
|
jobs:
|
|
close_job:
|
|
# this job will only run if the PR has been closed without being merged
|
|
if: github.event.pull_request.merged == false
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- run: |
|
|
echo PR #${{ github.event.number }} has been closed without being merged, removing milestone.
|
|
gh pr edit ${{ github.event.number }} --milestone "" --repo $GITHUB_REPOSITORY
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |