Updating workflow actions for deprecation of node16 on Github runner … (

#3734) This is a simple update pertaining to actions used in workflows. These actions older versions used node16 which is now EOL Needing to update to actions that use node20 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Feb 28, 2024 · 5a2665d · 5a2665d
1 parent 62a3e13
commit 5a2665d
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/kevm-performance-test.yaml b/.github/workflows/kevm-performance-test.yaml
@@ -80,7 +80,7 @@ jobs:
           nix run github:runtimeverification/evm-semantics#compare-profiles -- KEVM-timing-$TIMESTAMP-${PR_HEAD}.data KEVM-timing-$TIMESTAMP-master.data | tee KEVM-timing-comparison.data
 
       - name: Publish Results
-        uses: actions/upload-artifact@v3.1.0
+        uses: actions/upload-artifact@v4
         with:
           path: ./KEVM-timing*.data
 

diff --git a/.github/workflows/profiling.yaml b/.github/workflows/profiling.yaml
@@ -52,7 +52,7 @@ jobs:
         run: |
           echo "PR_HEAD=$(curl -s ${{ github.event.issue.pull_request.url }} | jq '.head.sha' | xargs echo)" | tee -a $GITHUB_OUTPUT
       - name: Check out code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           ref: '${{ steps.determine-commit.outputs.PR_HEAD }}'
       - name: Run Tests
@@ -73,7 +73,7 @@ jobs:
           nix run .#profile ./${FILE_NAME}
 
       - name: Publish Profile Results
-        uses: actions/upload-artifact@v3.1.0
+        uses: actions/upload-artifact@v4
         with:
           path: ./profile-*.tar.gz
 

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -148,7 +148,7 @@ jobs:
             stack-haddock-2-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}
             stack-haddock-2-${{ runner.os }}-ghc-${{ env.ghc_version }}
 
-      - uses: haskell-actions/setup@v2
+      - uses: haskell-actions/setup@v2.6.1
         id: setup-haskell-stack
         with:
           ghc-version: ${{ env.ghc_version }}

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -183,7 +183,7 @@ jobs:
             stack-2-${{ runner.os }}-ghc-${{ env.ghc_version }}-${{ hashFiles('stack.yaml') }}
             stack-2-${{ runner.os }}-ghc-${{ env.ghc_version }}
 
-      - uses: haskell-actions/setup@v2
+      - uses: haskell-actions/setup@v2.6.1
         id: setup-haskell-stack
         with:
           ghc-version: ${{ env.ghc_version }}