Skip to content

docker workflow: add git and build information as build arguments#63

Merged
cosimomeli merged 9 commits intomainfrom add-docker-git-infoNov 17, 2023
+8-1

Commits

Commits on Nov 15, 2023

Commits on Nov 17, 2023