projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcabf70) | patch
Always run update-pr (#7719)
authorGereon Kremer <gkremer@stanford.edu>
Tue, 30 Nov 2021 23:10:30 +0000 (15:10 -0800)
committerGitHub <noreply@github.com>
Tue, 30 Nov 2021 23:10:30 +0000 (23:10 +0000)
commit2e353ecd005e1f980c446cd043059d4523da810a
tree4dc6519960f8108c4d6c5d8ba494b9a56daf8b7atree
parentbcabf70ae1fefd2eb77c48baf9db1e2c88259622commit | diff
Always run update-pr (#7719)

This removes the event condition on the `update-pr` ci job. Right now, it is not run although it should.
.github/workflows/cancel.yml [new file with mode: 0644] blob
.github/workflows/ci.yml diff | blob | history