ci: Refactor conditions to check for branch events
This commit is contained in:
@@ -14,8 +14,8 @@ on:
|
|||||||
|
|
||||||
concurrency:
|
concurrency:
|
||||||
group: ${{ github.workflow }}-${{ github.ref }}
|
group: ${{ github.workflow }}-${{ github.ref }}
|
||||||
# Terminate all previous runs of the same workflow and branch, except for main and release branches
|
# Terminate all previous runs of the same workflow for pull requests
|
||||||
cancel-in-progress: "${{ !(github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v') || startsWith(github.ref, 'refs/heads/rel-')) }}"
|
cancel-in-progress: "${{ github.event_name == 'pull_request' }}"
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
Lint-Style:
|
Lint-Style:
|
||||||
@@ -293,7 +293,7 @@ jobs:
|
|||||||
|
|
||||||
Build-Cabal-Arm:
|
Build-Cabal-Arm:
|
||||||
name: Build aarch64 (Cabal, GHC 9.4.8)
|
name: Build aarch64 (Cabal, GHC 9.4.8)
|
||||||
if: ${{ github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v') || startsWith(github.ref, 'refs/heads/rel-') }}
|
if: "${{ github.event_name == 'push' }}"
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
outputs:
|
outputs:
|
||||||
remotepath: ${{ steps.Remote-Dir.outputs.remotepath }}
|
remotepath: ${{ steps.Remote-Dir.outputs.remotepath }}
|
||||||
|
|||||||
Reference in New Issue
Block a user