Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
@tjhei @luca-heltai FYI
This PR does:
This change would allow us as a next step to:
You can see how the final images would look like here: https://github.com/gassmoeller/docker-files/pkgs/container/docker-files (I tested the workflow in my account).
The docker hub upload will not work unless we set up secrets to log into docker hub. If we agree that is a good thing I can do that or someone else can as well. The github container registry upload should word out of the box.
Comments and suggestions are welcome. As discussed with @tjhei I think having a deal.II arm64 image would be worthwhile (because it runs well on the Macs ARM architecture).