Changeset 28cbc6 in git


Ignore:
Timestamp:
Mar 12, 2021, 8:43:28 PM (2 years ago)
Author:
Matthias Koeppe <mkoeppe@…>
Branches:
(u'spielwiese', 'd1ec153efbb92b07a03c829a7f893fe854f169d2')
Children:
13931df67b112b94db6834f223c42dc3923219ff
Parents:
e8b3aec485e98942b3d941dda954621000368a5a
Message:
.github/workflows/ci-sage.yml: Use sagetrac-mirror on GitHub instead of trac
File:
1 edited

Legend:

Unmodified
Added
Removed

  • .github/workflows/ci-sage.yml

    re8b3ae r28cbc6  
    5858  SAGE_REPO:   sagemath/sage
    5959  SAGE_REF:    develop
    60   # Temporarily test on the branch from sage ticket for singular 4.2 upgrade
    61   SAGE_TRAC_GIT: git://trac.sagemath.org/sage.git
    62   SAGE_TRAC_COMMAND: try
     60  # Temporarily test with the branch from sage ticket for singular 4.2 upgrade
     61  # (this is a no-op after that ticket is merged)
     62  SAGE_TRAC_GIT: https://github.com/sagemath/sagetrac-mirror.git
    6363  SAGE_TICKET: 25993
    6464  REMOVE_PATCHES: "*"
    … …  
    113113          repository: ${{ env.SAGE_REPO }}
    114114          ref: ${{ env.SAGE_REF }}
     115          fetch-depth: 2000
    115116        if: env.SAGE_REPO != ''
    116117      - name: Check out git-trac-command
    … …  
    123124        shell: bash {0}
    124125        run: |
    125           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 ${{ env.SAGE_TRAC_COMMAND }} $SAGE_TICKET; then exit 0; fi; sleep 40; done; exit 1
     126          git config --global user.email "ci-sage@example.com"
     127          git config --global user.name "ci-sage workflow"
     128          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
    126129        if: env.SAGE_TRAC_GIT != ''
    127130      - uses: actions/download-artifact@v2
    … …  
    209212        repository: ${{ env.SAGE_REPO }}
    210213        ref: ${{ env.SAGE_REF }}
     214        fetch-depth: 2000
    211215      if: env.SAGE_REPO != ''
    212216    - name: Check out git-trac-command
    … …  
    220224      # Random sleep and retry to limit the load on trac.sagemath.org
    221225      run: |
    222         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 ${{ env.SAGE_TRAC_COMMAND }} $SAGE_TICKET; then exit 0; fi; sleep 40; done; exit 1
     226        git config --global user.email "ci-sage@example.com"
     227        git config --global user.name "ci-sage workflow"
     228        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
    223229      if: env.SAGE_TRAC_GIT != ''
    224230    - uses: actions/download-artifact@v2
    … …  
    289295          repository: ${{ env.SAGE_REPO }}
    290296          ref: ${{ env.SAGE_REF }}
     297          fetch-depth: 2000
    291298        if: env.SAGE_REPO != ''
    292299      - name: Check out git-trac-command
    … …  
    299306        shell: bash {0}
    300307        run: |
    301           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 ${{ env.SAGE_TRAC_COMMAND }} $SAGE_TICKET; then exit 0; fi; sleep 40; done; exit 1
     308          git config --global user.email "ci-sage@example.com"
     309          git config --global user.name "ci-sage workflow"
     310          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
    302311        if: env.SAGE_TRAC_GIT != ''
    303312      - uses: actions/download-artifact@v2
    … …  
    378387          repository: ${{ env.SAGE_REPO }}
    379388          ref: ${{ env.SAGE_REF }}
     389          fetch-depth: 2000
    380390        if: env.SAGE_REPO != ''
    381391      - name: Check out git-trac-command
    … …  
    388398        shell: bash {0}
    389399        run: |
    390           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 ${{ env.SAGE_TRAC_COMMAND }} $SAGE_TICKET; then exit 0; fi; sleep 40; done; exit 1
     400          git config --global user.email "ci-sage@example.com"
     401          git config --global user.name "ci-sage workflow"
     402          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
    391403        if: env.SAGE_TRAC_GIT != ''
    392404      - uses: actions/download-artifact@v2
Note: See TracChangeset for help on using the changeset viewer.