7 Feb
2023
7 Feb
'23
2:57 a.m.
From: Patrick Talbert on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2280#note_1268394...
@aclaudi just FYI, this MR did not trigger a pipeline because the source branch name matches the name of a protected branch of this project. This hits a bug/limitation of GL and a pipeline won't be generated.