Skip to content

Don't use the dune images for CI

Dr. Jorrit Fahlke requested to merge ci-no-dune-ci into master

Closes: #17 (closed)

Merge request reports