Merge branch 'master' into '20-check-for-warning-in-ci'
1 related merge request: !15 Resolve "Check for warnings in CI"
3 jobs
9 minutes 48 seconds, queued for 3 seconds
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch