Merge pull request #17 from FedericoPonzi/dependabot/github_actions/all-actions-234f43df8e

build(deps): bump the all-actions group with 5 updates

Author: FedericoPonzi

.github/workflows/ci.yml

@@ -44,14 +44,14 @@ jobs:
 
       - name: Upload SpotBugs report
         if: always()
-        uses: actions/upload-artifact@v6
+        uses: actions/upload-artifact@v7
         with:
           name: spotbugs-report
           path: build/reports/spotbugs/
           retention-days: 30
 
       - name: Upload test results
-        uses: actions/upload-artifact@v6
+        uses: actions/upload-artifact@v7
         if: always()
         with:
           name: test-results
@@ -67,15 +67,15 @@ jobs:
           reporter: java-junit
 
       - name: Upload coverage report
-        uses: actions/upload-artifact@v6
+        uses: actions/upload-artifact@v7
         if: always()
         with:
           name: coverage-report
           path: build/reports/jacoco/test/
           retention-days: 30
 
       - name: Upload JAR artifact
-        uses: actions/upload-artifact@v6
+        uses: actions/upload-artifact@v7
         with:
           name: tlaplus-formatter-jar
           path: build/libs/tlaplus-formatter.jar

.github/workflows/pages.yml

@@ -22,16 +22,16 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
 
       - name: Set up JDK 21
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           java-version: '21'
           distribution: 'temurin'
 
       - name: Setup Gradle
-        uses: gradle/actions/setup-gradle@v4
+        uses: gradle/actions/setup-gradle@v5
 
       - name: Build web JAR
         run: ./gradlew buildWebJar
@@ -43,7 +43,7 @@ jobs:
           cp build/libs/tlaplus-formatter-web.jar _site/
 
       - name: Upload Pages artifact
-        uses: actions/upload-pages-artifact@v3
+        uses: actions/upload-pages-artifact@v4
         with:
           path: _site
 

.github/workflows/semantic-preservation.yml

@@ -54,7 +54,7 @@ jobs:
         run: ./gradlew semanticPreservationTest -Dtlaplus.examples.path=${{ github.workspace }}/tlaplus-examples -DTLA-Library="${{ github.workspace }}/tlapm/library:${{ github.workspace }}/CommunityModules:${{ github.workspace }}/apalache/src/tla"
 
       - name: Upload test results
-        uses: actions/upload-artifact@v6
+        uses: actions/upload-artifact@v7
         if: always()
         with:
           name: semantic-preservation-results