Github: Update actions

veripool · Jan 23, 2024 · 07d1deb · 07d1deb
1 parent 9105afa
commit 07d1deb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -16,7 +16,7 @@ jobs:
     runs-on: ubuntu-latest 
     steps:
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: Install Emacs
         run: sudo apt-get install emacs
@@ -28,7 +28,7 @@ jobs:
     runs-on: ubuntu-latest 
     steps:
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: Install XEmacs
         run: sudo apt-get install xemacs21