Update action versions

CakeML · Aug 12, 2024 · c4d76c0 · c4d76c0
1 parent aa328a2
commit c4d76c0
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/pure.yml b/.github/workflows/pure.yml
@@ -43,7 +43,7 @@ jobs:
         apt install -y git build-essential gcc-10 libffi-dev wget mlton
 
     - name: Checkout Poly/ML
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
       with:
         repository: polyml/polyml
         ref: fixes-5.9
@@ -56,17 +56,17 @@ jobs:
         make install
 
     - name: Checkout HOL4
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
       with:
         repository: HOL-Theorem-Prover/HOL
         ref: master
         path: HOL
     - name: Checkout pure
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
       with:
         path: pure
     - name: Checkout CakeML
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
       with:
         repository: CakeML/CakeML
         path: cakeml
@@ -135,7 +135,7 @@ jobs:
       run: cd pure/compiler/binary && Holmake
 
     - name: Save build artifact
-      uses: actions/upload-artifact@v3
+      uses: actions/upload-artifact@v4
       with:
         name: pure.S
         path: pure/compiler/binary/pure.S
@@ -176,7 +176,7 @@ jobs:
         echo "CakeML checkout: CakeML/CakeML@${{ needs.build.outputs.cakeml_sha }}" >> $COMMITS
 
     - name: Download build artifact
-      uses: actions/download-artifact@v3
+      uses: actions/download-artifact@v4
       with:
         name: pure.S