fixup: refs-head-master -> refs-heads-master

GaloisInc · Mar 1, 2024 · 3a993d9 · 3a993d9
1 parent b606bef
commit 3a993d9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -38,14 +38,14 @@ jobs:
       - name: Pull Latest Docker image
         run: |
           docker pull artifactory.galois.com:5025/pate/pate:${GITHUB_REF//\//\-} || \
-            docker pull artifactory.galois.com:5025/pate/pate:refs-head-master || \
+            docker pull artifactory.galois.com:5025/pate/pate:refs-heads-master || \
             echo "No latest image found"
 
       - name: Build Docker Image
         run: |
           docker build . \
             --cache-from artifactory.galois.com:5025/pate/pate:${GITHUB_REF//\//\-} \
-            --cache-from artifactory.galois.com:5025/pate/pate:refs-head-master \
+            --cache-from artifactory.galois.com:5025/pate/pate:refs-heads-master \
             -t pate
 
       - name: Test Docker Image