projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4d56ae) | patch
Restrict additional CI jobs (#6539)
authorGereon Kremer <nafur42@gmail.com>
Fri, 14 May 2021 20:25:14 +0000 (22:25 +0200)
committerGitHub <noreply@github.com>
Fri, 14 May 2021 20:25:14 +0000 (20:25 +0000)
commit2769173850f78749a870ed051a894317141594fc
tree7e3f0c9837339e137dbd44a5a766dc2c19e4e964tree
parenta4d56aed6874b4f074f5eb96c4a5d688988cba98commit | diff
Restrict additional CI jobs (#6539)

The new upload-docs CI job is currently run unconditionally after the CI job finishes. It can only work, though, if the CI job worked and stored an artifact. The PR update job is run for all commits on master, though it only has the necessary token when running on the main repository.
This PR restricts both jobs to cases where they work.
.github/workflows/docs_upload.yml diff | blob | history
.github/workflows/update_pr.yml diff | blob | history