Skip to content

Several bug fixes

Steffen Müthing requested to merge bugfix/switch-default-opts-file into master
  • I forgot to update the opts file selection in duneci-standard-test.
  • The Docker image was still disabled.
  • As there was no additional image file for images with an extra tag, downstream images based on those extra tags would use the old image instead of the freshly built one. Fixed by adding an extra image file that gets skipped during final processing.

Merge request reports