summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorArianna Masciolini <uzkamascio@gmail.com>2025-08-02 23:01:29 +0200
committerArianna Masciolini <uzkamascio@gmail.com>2025-08-02 23:01:29 +0200
commitd983255326d232a9d0e1541e5b48743e6ce35e59 (patch)
tree4bdce529186307ec6e0f53313f54cbfe911e12fe /.github/workflows
parent288984d243452ea796faabf4ee53f12ea86eda46 (diff)
parentc23a03a2d11a781998dc1c3de04a8abf2ff7d330 (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/build-all-versions.yml5
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/build-all-versions.yml b/.github/workflows/build-all-versions.yml
index 0f3222809..4dffba3c1 100644
--- a/.github/workflows/build-all-versions.yml
+++ b/.github/workflows/build-all-versions.yml
@@ -20,7 +20,7 @@ jobs:
- "8.6.5"
- "8.8.3"
- "8.10.7"
- - "9.6.6"
+ - "9.6.7"
exclude:
- os: macos-latest
ghc: 8.8.3
@@ -70,9 +70,10 @@ jobs:
name: stack / ghc ${{ matrix.ghc }}
runs-on: ${{ matrix.ghc == '7.10.3' && 'ubuntu-20.04' || 'ubuntu-latest' }}
strategy:
+ fail-fast: false
matrix:
stack: ["latest"]
- ghc: ["8.4.4", "8.6.5", "8.8.4", "8.10.7", "9.0.2", "9.6.6"]
+ ghc: ["8.4.4", "8.6.5", "8.8.4", "8.10.7", "9.0.2", "9.6.7"]
steps:
- uses: actions/checkout@v2