Skip to content

[arch] pin to a given tag

Tobias Leibner requested to merge pin_arch into master

Created by: renefritze

I'm running into weird issues in arch and I want to make sure that the underlying system is not the issue when changing between builds. I would prefer to only occasionally increment the base image tag. What say you @dune-community/dockerfiles-devs ?

Merge request reports