diff options
author | Michel Dänzer <[email protected]> | 2020-01-13 09:45:57 +0100 |
---|---|---|
committer | Marge Bot <[email protected]> | 2020-01-15 10:31:01 +0000 |
commit | 8775b742ea31ba4cd035e20a91493204c83b3f07 (patch) | |
tree | 4c7bf8ac3c0db66bc58995db12fae8dea98592ec /include/vulkan/vulkan_macos.h | |
parent | 7b0b085c94347cb9c94d88e11a64a6c341d95477 (diff) |
gitlab-ci: Stop using manual jobs for merge requests
They were causing trouble with Marge Bot: The project settings require
that the pipeline succeeds before a merge request (MR) can be merged,
otherwise Marge doesn't wait for the pipeline to succeed before merging
an MR assigned to her. But Marge can't start manual jobs, so she would
always time out waiting for pipelines with manual jobs.
To avoid this, use these rules:
* Run the pipeline by default for MRs and main project branches changing
any files affecting it.
* For other MRs, run a single dummy job which always succeeds.
* Don't run any jobs for main project branch changes (e.g. from an MR
having been merged) not affecting the pipeline.
* Allow jobs to be started manually on branches of forked projects, as
before.
Acked-by: Pierre-Eric Pelloux-Prayer <[email protected]>
Acked-by: Daniel Stone <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3361>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3361>
Diffstat (limited to 'include/vulkan/vulkan_macos.h')
0 files changed, 0 insertions, 0 deletions