fixup! Add GitHub Actions workflow for Docker images

TRIQS · Nov 30, 2023 · 8c42ed7 · 8c42ed7
1 parent 4b06868
commit 8c42ed7
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 0 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -48,6 +48,7 @@ jobs:
           file: ./Docker/${{ matrix.name }}_dockerfile
           build-args: |
             NCORES=2
+            GITHUB_SHA=${{ github.sha }}
           push: ${{ github.event_name != 'pull_request' }}
           tags: ${{ steps.meta.outputs.tags }}
           labels: ${{ steps.meta.outputs.labels }}

diff --git a/Docker/github_ci_dockerfile b/Docker/github_ci_dockerfile
@@ -69,6 +69,10 @@ ENV OMPI_ALLOW_RUN_AS_ROOT_CONFIRM=1
 ENV OMPI_MCA_rmaps_base_oversubscribe="yes"
 ARG NCORES=8
 
+# This acts as a cachebuster
+ARG GITHUB_SHA=0000000000000000000000000000000000000000
+LABEL github.sha="$GITHUB_SHA"
+
 # create source dirs
 RUN cd / && mkdir -p triqs && mkdir -p source
 

diff --git a/Docker/mpich_dockerfile b/Docker/mpich_dockerfile
@@ -114,6 +114,10 @@ ENV MKL_INTERFACE_LAYER=GNU,LP64
 ENV MKL_THREADING_LAYER=SEQUENTIAL
 ARG NCORES=10
 
+# This acts as a cachebuster
+ARG GITHUB_SHA=0000000000000000000000000000000000000000
+LABEL github.sha="$GITHUB_SHA"
+
 ENV CPATH=/triqs/include:/usr/include/mkl:${CPATH}
 ENV PATH=/triqs/bin:${PATH}
 ENV LIBRARY_PATH=/triqs/lib:${LIBRARY_PATH}

diff --git a/Docker/openmpi_dockerfile b/Docker/openmpi_dockerfile
@@ -110,6 +110,10 @@ ENV MKL_INTERFACE_LAYER=GNU,LP64
 ENV MKL_THREADING_LAYER=SEQUENTIAL
 ARG NCORES=10
 
+# This acts as a cachebuster
+ARG GITHUB_SHA=0000000000000000000000000000000000000000
+LABEL github.sha="$GITHUB_SHA"
+
 # create source dirs
 RUN cd / && mkdir -p triqs && mkdir -p source