Changeset d65cbb5 in git


Ignore:
Timestamp:
Nov 22, 2022, 9:49:33 AM (2 months ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')
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:
1 edited

Legend:

Unmodified
Added
Removed
  • .github/workflows/ci-sage.yml

    r63d2db rd65cbb5  
    318318          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
    319319        if: env.SAGE_TRAC_GIT != ''
    320       - uses: actions/download-artifact@v2
     320      - uses: actions/download-artifact@v3
    321321        with:
    322322          path: upstream
     
    339339          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
    340340        if: always()
    341       - uses: actions/upload-artifact@v2
     341      - uses: actions/upload-artifact@v3
    342342        with:
    343343          path: artifacts
Note: See TracChangeset for help on using the changeset viewer.