Issue templates: updated to better fit actual practice
The gitlab-prebuilds
job is a pain, and not these days reliably
launched as part of the MR pipeline. Of course it does not complete before
the first job in the main pipeline needs it…
The gitlab-prebuilds
job is a pain, and not these days reliably
launched as part of the MR pipeline. Of course it does not complete before
the first job in the main pipeline needs it…