Use new github runner versions

utwente-fmt · Nov 7, 2024 · 10bc13e · 10bc13e
1 parent 3560cea
commit 10bc13e
Showing 1 changed file with 7 additions and 9 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -10,8 +10,8 @@ jobs:
         os: [ubuntu-20.04, ubuntu-22.04]
     runs-on: ${{ matrix.os }}
     steps:
-    - uses: actions/checkout@v3
-    - uses: actions/setup-java@v3
+    - uses: actions/checkout@v4
+    - uses: actions/setup-java@v4
       with:
         java-version: 17
         distribution: zulu
@@ -24,7 +24,7 @@ jobs:
         sudo apt-cache show storm | grep Version | sed -e 's/Version: /STORM_VERSION=/' >> $GITHUB_ENV
         sudo mkdir apt-archive
     - name: APT cache
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       with:
         path: apt-archive.tar
         key: ${{ runner.os }}-apt-${{ env.STORM_VERSION }}
@@ -39,11 +39,9 @@ jobs:
       run: cd tests && bash test.sh --dft storm
     - name: Package
       run: make deb rpm 'RPMBUILD_FLAGS=--nodeps --nocheck' 'DPKG_FLAGS=-d'
-    - uses: actions/upload-artifact@v3
+    - uses: actions/upload-artifact@v4
       with:
         name: binary-packages
-        path: dftres-*.noarch.rpm
-    - uses: actions/upload-artifact@v3
-      with:
-        name: binary-packages
-        path: dftres_*_all.deb
+        path: |
+          dftres-*.noarch.rpm
+          dftres_*_all.deb