From c4d76c039ad126d42a5da7f6a0a108d9d1c2b0e2 Mon Sep 17 00:00:00 2001
From: Hrutvik Kanabar <hrutvikkanabar@yahoo.co.uk>
Date: Mon, 12 Aug 2024 16:39:10 +0100
Subject: [PATCH] Update action versions

---
 .github/workflows/pure.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/pure.yml b/.github/workflows/pure.yml
index 53b1f2ef..060bd167 100644
--- 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