Skip to content

Enforce lower-case image name in GitHub Action#21

Merged
lreiher merged 4 commits intoika-rwth-aachen:mainfrom RaphvK:image-nameMar 26, 2024