aboutsummaryrefslogtreecommitdiffstats
path: root/include/vulkan/vulkan_macos.h
diff options
context:
space:
mode:
authorMichel Dänzer <[email protected]>2020-01-13 09:45:57 +0100
committerMarge Bot <[email protected]>2020-01-15 10:31:01 +0000
commit8775b742ea31ba4cd035e20a91493204c83b3f07 (patch)
tree4c7bf8ac3c0db66bc58995db12fae8dea98592ec /include/vulkan/vulkan_macos.h
parent7b0b085c94347cb9c94d88e11a64a6c341d95477 (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