CI: adapt to changes in dev container
Related merge request !149 to merge fix-devcontainers
merge request
25 jobs
63 minutes 25 seconds, queued for 4,180 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