Update GH action versions (#498)

dafny-lang · Sep 18, 2024 · 681135a · 681135a
1 parent 52f0e0a
commit 681135a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/azure-pipelines.yml b/.github/workflows/azure-pipelines.yml
@@ -6,7 +6,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: "Prepare: Checkout Repository"
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: "Install Node.js"
         uses: actions/setup-node@v3
 

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -10,7 +10,7 @@ jobs:
 
     steps:
       - name: "Prepare: Checkout Repository"
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: "Prepare: Use Node.js ${{ matrix.node-version }}"
         uses: actions/setup-node@v4
         with:
@@ -50,10 +50,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: "Prepare: Checkout Repository"
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: "Prepare: Get Build Artifact"
-        uses: actions/download-artifact@v2
+        uses: actions/download-artifact@v4
         with:
           name: package
           path: dist/
@@ -107,15 +107,15 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: "Prepare: Checkout Repository"
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: "Prepare: Use Node.js ${{ matrix.node-version }}"
         uses: actions/setup-node@v1
         with:
           node-version: v12.x
 
       - name: "Prepare: Get Build Artifact"
-        uses: actions/download-artifact@v2
+        uses: actions/download-artifact@v4
         with:
           name: package
           path: dist/