Skip to content

Commit

Permalink
revert commenting out code
Browse files Browse the repository at this point in the history
Signed-off-by: Oliver Koenig <[email protected]>
  • Loading branch information
ko3n1g committed Jun 5, 2024
1 parent 96a5553 commit 12e2f8c
Showing 1 changed file with 9 additions and 9 deletions.
18 changes: 9 additions & 9 deletions .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -77,15 +77,15 @@ jobs:
MERGE_BUMPED_MANIFEST: ${{ steps.manifest-branch.outputs.MERGE_BUMBED_MANIFEST }}
TEST_SUBSET: ${{ steps.testset.outputs.TEST_SUBSET }}
steps:
# - name: Cancel workflow run if the trigger is a draft PR
# id: cancel-if-draft
# if: github.event_name == 'pull_request' && github.event.pull_request.draft == true
# run: |
# echo "Cancelling workflow for draft PR"
# curl -X POST -H "Authorization: token ${{ github.token }}" \
# -H "Accept: application/vnd.github.v3+json" \
# "https://api.github.com/repos/${{ github.repository }}/actions/runs/${{ github.run_id }}/cancel"
# while true; do sleep 1; done # blocks execution in case workflow cancellation takes time
- name: Cancel workflow run if the trigger is a draft PR
id: cancel-if-draft
if: github.event_name == 'pull_request' && github.event.pull_request.draft == true
run: |
echo "Cancelling workflow for draft PR"
curl -X POST -H "Authorization: token ${{ github.token }}" \
-H "Accept: application/vnd.github.v3+json" \
"https://api.github.com/repos/${{ github.repository }}/actions/runs/${{ github.run_id }}/cancel"
while true; do sleep 1; done # blocks execution in case workflow cancellation takes time
- name: Set build date
id: date
Expand Down

0 comments on commit 12e2f8c

Please sign in to comment.