CI updates

2023-12-17 07:35:39 +01:00
parent 2cf1c32d18
commit decc1efb74
14 changed files with 91 additions and 82 deletions
@@ -41,7 +41,7 @@ jobs:
          # GitHub Actions magic: set "artifact_name" environment value for use in next step
          echo "artifact_name=$N" >> $GITHUB_ENV
      - name: ${{ format('Upload artifact {0}', env.artifact_name) }}
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
        with:
          name: ${{ env.artifact_name }}
          path: tmp/artifact