Skip to content

GitLab

Minor tweaks to the CI pipeline

5 jobs for dev in 1 minute and 37 seconds (queued for 34 seconds)
8591d45c
No related merge requests found.

Imprint