projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 772d43e) | patch
Consolidate CI jobs (#7697)
authorGereon Kremer <gkremer@stanford.edu>
Thu, 25 Nov 2021 04:31:09 +0000 (20:31 -0800)
committerGitHub <noreply@github.com>
Thu, 25 Nov 2021 04:31:09 +0000 (04:31 +0000)
commiteec5a214af7d9d435392a0185083a1f361860394
tree460da3e83175f0165135df00ef8cdbaba056e051tree
parent772d43ea8498e65ef177173266cbfcd741403d40commit | diff
Consolidate CI jobs (#7697)

This PR integrates the cancel and update-pr jobs into the main CI jobs. This not only looks nicer in the actions menu (less jobs) but also improves which jobs we cancel: this now also allows to cancel jobs in forks by getting rid of the magic workflow number.
.github/workflows/cancel.yml [deleted file] blob | history
.github/workflows/ci.yml diff | blob | history
.github/workflows/update_pr.yml [deleted file] blob | history