Merge branch 'master' into app-tile-menu-toggle

Author: JusKIdding

.github/workflows/ci.yml

@@ -31,7 +31,7 @@ jobs:
     runs-on: ubuntu-latest
     if: github.ref == 'refs/heads/master'
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Set up JDK 17
         uses: actions/setup-java@v4
         with:

.github/workflows/pr-build.yml

@@ -29,7 +29,7 @@ jobs:
       pull-requests: write 
     steps:
       # get the PR from the event as JSON
-      - uses: actions/github-script@v6
+      - uses: actions/github-script@v7
         id: pr
         with:
           script: |
@@ -40,7 +40,7 @@ jobs:
             return pullRequest
       
       # check out the merged result
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
         with:
           ref: ${{fromJSON(steps.pr.outputs.result).merge_commit_sha}}
 

.github/workflows/publish-wiki.yml

@@ -18,5 +18,5 @@ jobs:
   publish-wiki:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - uses: Andrew-Chen-Wang/github-wiki-action@v5