Skip to content

Commit

Permalink
ci: clean up concurrency
Browse files Browse the repository at this point in the history
  • Loading branch information
james-d-mitchell committed Sep 13, 2023
1 parent d84887b commit a631c1b
Show file tree
Hide file tree
Showing 4 changed files with 16 additions and 15 deletions.
8 changes: 7 additions & 1 deletion .github/workflows/codespell.yml
Original file line number Diff line number Diff line change
@@ -1,5 +1,11 @@
name: codespell
on: [pull_request]
on:
workflow_dispatch:
pull_request:
push:
branches:
- main
- stable-*.*
jobs:
codespell:
runs-on: ubuntu-latest
Expand Down
12 changes: 3 additions & 9 deletions .github/workflows/gap.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,9 @@ on:
workflow_dispatch:
pull_request:
push:
branches:
- main
- stable-*.*
schedule:
# Every day at 3:30 AM UTC
- cron: '30 3 * * *'
Expand All @@ -14,8 +17,6 @@ jobs:
test-unix:
name: "${{ matrix.os }}${{ matrix.ABI }} / GAP ${{ matrix.gap-branch }}"
runs-on: "${{ matrix.os }}-latest"
# Don't run this twice for PRs from branches in the same repository
if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
strategy:
fail-fast: false
matrix:
Expand Down Expand Up @@ -61,34 +62,27 @@ jobs:
curl --retry 5 -L -O "https://digraphs.github.io/Digraphs/${{ env.DIGRAPHS_LIB }}.tar.gz"
tar xf "${{ env.DIGRAPHS_LIB }}.tar.gz"
- name: "Run DigraphsTestInstall"
if: ${{ always() }}
uses: gap-actions/run-pkg-tests@v2
with:
GAP_TESTFILE: "tst/github_actions/install.g"
- name: "Run DigraphsTestStandard"
if: ${{ always() }}
uses: gap-actions/run-pkg-tests@v2
with:
GAP_TESTFILE: "tst/github_actions/standard.g"
- name: "Run DigraphsTestManualExamples"
if: ${{ always() }}
uses: gap-actions/run-pkg-tests@v2
with:
GAP_TESTFILE: "tst/github_actions/examples.g"
- name: "Run DigraphsTestExtreme"
if: ${{ always() }}
uses: gap-actions/run-pkg-tests@v2
with:
GAP_TESTFILE: "tst/github_actions/extreme.g"
- uses: gap-actions/process-coverage@v2
if: ${{ always() }}
- uses: codecov/codecov-action@v3
if: ${{ always() }}

test-cygwin:
name: "cygwin / GAP master"
runs-on: windows-2019
if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
env:
CHERE_INVOKING: 1
steps:
Expand Down
5 changes: 3 additions & 2 deletions .github/workflows/lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,9 @@ on:
workflow_dispatch:
pull_request:
push:
branches:
- main
- stable-*.*
schedule:
# Every day at 3:30 AM UTC
- cron: '30 3 * * *'
Expand All @@ -11,8 +14,6 @@ jobs:
lint:
name: "${{ matrix.linter }}"
runs-on: ubuntu-latest
# Don't run this twice for PRs from branches in the same repository
if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
strategy:
fail-fast: false
matrix:
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/manual.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,9 @@ on:
workflow_dispatch:
pull_request:
push:
branches:
- main
- stable-*.*
schedule:
# Every day at 3:20 AM UTC
- cron: '20 3 * * *'
Expand All @@ -11,9 +14,6 @@ jobs:
manual:
name: "compile and upload manual"
runs-on: ubuntu-latest
# Don't run this twice for PRs from branches in the same repository
if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
steps:
- uses: actions/checkout@v3
- name: "Install TeX Live"
run: |
Expand Down

0 comments on commit a631c1b

Please sign in to comment.