diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-05-14 22:25:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-14 20:25:14 +0000 |
| commit | 2769173850f78749a870ed051a894317141594fc (patch) | |
| tree | 7e3f0c9837339e137dbd44a5a766dc2c19e4e964 /src/parser/parser_builder.cpp | |
| parent | a4d56aed6874b4f074f5eb96c4a5d688988cba98 (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.
Diffstat (limited to 'src/parser/parser_builder.cpp')
0 files changed, 0 insertions, 0 deletions