projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d7f92f7
)
Add GH action to cancel previous pending/running CI builds. (#5175)
author
Mathias Preiner
<mathias.preiner@gmail.com>
Thu, 1 Oct 2020 01:17:45 +0000
(18:17 -0700)
committer
GitHub
<noreply@github.com>
Thu, 1 Oct 2020 01:17:45 +0000
(18:17 -0700)
GH introduced a new workflow event pull_request_target that now makes it
possible to cancel builds on the base repository.
.github/workflows/ci.yml
patch
|
blob
|
history
diff --git
a/.github/workflows/ci.yml
b/.github/workflows/ci.yml
index e9c217501331b190dad158c913d7a9d35cc2e1fa..8f8f9713966e8b29ee975d2dab57f8d0cca37ae0 100644
(file)
--- a/
.github/workflows/ci.yml
+++ b/
.github/workflows/ci.yml
@@
-1,7
+1,15
@@
-on: [push, pull_request]
+on: [push, pull_request
_target
]
name: CI
jobs:
+ cancel:
+ runs-on: ubuntu-latest
+ steps:
+ - name: Cancel Previous Runs
+ uses: styfle/cancel-workflow-action@0.5.0
+ with:
+ access_token: ${{ github.token }}
+
build:
strategy:
matrix: