projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7f92f7) | patch
Add GH action to cancel previous pending/running CI builds. (#5175)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 1 Oct 2020 01:17:45 +0000 (18:17 -0700)
committerGitHub <noreply@github.com>
Thu, 1 Oct 2020 01:17:45 +0000 (18:17 -0700)
commite145e9f16ca87eaa3955fb4308f8a6fad6bb158d
treecbc8f9737af45d27f184cf636723a8a958900ad1tree
parentd7f92f70bb8ff221dc3d7cb086e5e2e237dadc67commit | diff
Add GH action to cancel previous pending/running CI builds. (#5175)

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 diff | blob | history