diff --git a/.github/workflows/codespell.yml b/.github/workflows/codespell.yml index f9521a22e..7dea7c1d6 100644 --- a/.github/workflows/codespell.yml +++ b/.github/workflows/codespell.yml @@ -1,5 +1,11 @@ name: codespell -on: [pull_request] +on: + workflow_dispatch: + pull_request: + push: + branches: + - main + - stable-*.* jobs: codespell: runs-on: ubuntu-latest diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml index 021cbe028..da9670377 100644 --- a/.github/workflows/gap.yml +++ b/.github/workflows/gap.yml @@ -3,6 +3,9 @@ on: workflow_dispatch: pull_request: push: + branches: + - main + - stable-*.* schedule: # Every day at 3:30 AM UTC - cron: '30 3 * * *' @@ -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: @@ -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: diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 0d0dbe78c..514d27078 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -3,6 +3,9 @@ on: workflow_dispatch: pull_request: push: + branches: + - main + - stable-*.* schedule: # Every day at 3:30 AM UTC - cron: '30 3 * * *' @@ -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: diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml index 0e7547b52..49ed386c2 100644 --- a/.github/workflows/manual.yml +++ b/.github/workflows/manual.yml @@ -3,6 +3,9 @@ on: workflow_dispatch: pull_request: push: + branches: + - main + - stable-*.* schedule: # Every day at 3:20 AM UTC - cron: '20 3 * * *' @@ -11,8 +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"