Changeset d65cbb5 in git for .github

Timestamp:

Nov 22, 2022, 9:49:33 AM (17 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f7e6710d93be192399d06dba64ca56a8b283c6e7

Parents:

63d2db479e6d60dfeed92ab8261e782b65a9b9ad3d3fd4c30ec2e66b2e1aca5ef773826fb9ae3924

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2022-11-22 09:49:33+01:00

git-committer:

GitHub <noreply@github.com>2022-11-22 09:49:33+01:00

Message:

Merge pull request #1163 from fingolfin/mh/ci

Update two more CI actions to latest version

File:

• .github/workflows/ci-sage.yml (modified) (2 diffs)

.github/workflows/ci-sage.yml

@@ -318 +318 @@
           if [ ! -d .git ]; then git init; fi; git remote add trac ${{ env.SAGE_TRAC_GIT }} && x=1 && while [ $x -le 5 ]; do x=$(( $x + 1 )); sleep $(( $RANDOM % 60 + 1 )); if git-trac-command/git-trac fetch $SAGE_TICKET; then git merge FETCH_HEAD || echo "(ignored)"; exit 0; fi; sleep 40; done; exit 1
         if: env.SAGE_TRAC_GIT != ''
-      - uses: actions/download-artifact@v2
+      - uses: actions/download-artifact@v3
         with:
           path: upstream
@@ -339 +339 @@
           if [ -n "$CONTAINERS" ]; then for CONTAINER in $CONTAINERS; do for ARTIFACT in /sage/logs; do docker cp $CONTAINER:$ARTIFACT artifacts/$LOGS_ARTIFACT_NAME && HAVE_LOG=1; done; if [ -n "$HAVE_LOG" ]; then break; fi; done; fi
         if: always()
-      - uses: actions/upload-artifact@v2
+      - uses: actions/upload-artifact@v3
         with:
           path: artifacts