File tree Expand file tree Collapse file tree 4 files changed +16
-14
lines changed
Expand file tree Collapse file tree 4 files changed +16
-14
lines changed Original file line number Diff line number Diff line change 11name : codespell
2- on : [pull_request]
2+ on :
3+ workflow_dispatch :
4+ pull_request :
5+ push :
6+ branches :
7+ - main
8+ - stable-*.*
39jobs :
410 codespell :
511 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 33 workflow_dispatch :
44 pull_request :
55 push :
6+ branches :
7+ - main
8+ - stable-*.*
69 schedule :
710 # Every day at 3:30 AM UTC
811 - cron : ' 30 3 * * *'
1417 test-unix :
1518 name : " ${{ matrix.os }}${{ matrix.ABI }} / GAP ${{ matrix.gap-branch }}"
1619 runs-on : " ${{ matrix.os }}-latest"
17- # Don't run this twice for PRs from branches in the same repository
18- if : ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
1920 strategy :
2021 fail-fast : false
2122 matrix :
@@ -61,34 +62,27 @@ jobs:
6162 curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz"
6263 tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz"
6364 - name : " Run DigraphsTestInstall"
64- if : ${{ always() }}
6565 uses : gap-actions/run-pkg-tests@v2
6666 with :
6767 GAP_TESTFILE : " tst/github_actions/install.g"
6868 - name : " Run DigraphsTestStandard"
69- if : ${{ always() }}
7069 uses : gap-actions/run-pkg-tests@v2
7170 with :
7271 GAP_TESTFILE : " tst/github_actions/standard.g"
7372 - name : " Run DigraphsTestManualExamples"
74- if : ${{ always() }}
7573 uses : gap-actions/run-pkg-tests@v2
7674 with :
7775 GAP_TESTFILE : " tst/github_actions/examples.g"
7876 - name : " Run DigraphsTestExtreme"
79- if : ${{ always() }}
8077 uses : gap-actions/run-pkg-tests@v2
8178 with :
8279 GAP_TESTFILE : " tst/github_actions/extreme.g"
8380 - uses : gap-actions/process-coverage@v2
84- if : ${{ always() }}
8581 - uses : codecov/codecov-action@v3
86- if : ${{ always() }}
8782
8883 test-cygwin :
8984 name : " cygwin / GAP master"
9085 runs-on : windows-2019
91- if : ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
9286 env :
9387 CHERE_INVOKING : 1
9488 steps :
Original file line number Diff line number Diff line change 33 workflow_dispatch :
44 pull_request :
55 push :
6+ branches :
7+ - main
8+ - stable-*.*
69 schedule :
710 # Every day at 3:30 AM UTC
811 - cron : ' 30 3 * * *'
1114 lint :
1215 name : " ${{ matrix.linter }}"
1316 runs-on : ubuntu-latest
14- # Don't run this twice for PRs from branches in the same repository
15- if : ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
1617 strategy :
1718 fail-fast : false
1819 matrix :
Original file line number Diff line number Diff line change 33 workflow_dispatch :
44 pull_request :
55 push :
6+ branches :
7+ - main
8+ - stable-*.*
69 schedule :
710 # Every day at 3:20 AM UTC
811 - cron : ' 20 3 * * *'
1114 manual :
1215 name : " compile and upload manual"
1316 runs-on : ubuntu-latest
14- # Don't run this twice for PRs from branches in the same repository
15- if : ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
1617 steps :
1718 - uses : actions/checkout@v3
1819 - name : " Install TeX Live"
You can’t perform that action at this time.
0 commit comments