Fix docker image caching

GaloisInc · Mar 24, 2021 · d1ec9b2 · d1ec9b2
1 parent b837223
commit d1ec9b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -319,3 +319,4 @@ jobs:
           push: ${{ needs.config.outputs.publish }}
           file: ${{ matrix.file }}
           build-args: ${{ matrix.build-args }}
+          cache-from: type=registry,ref=${{ matrix.cache }}:${{ steps.common-tag.outputs.common-tag }}