mirror of
https://github.com/xmonad/xmonad-contrib.git
synced 2025-05-19 11:30:22 -07:00
ci: Regenerate haskell-ci
This commit is contained in:
parent
849208d1b8
commit
f7451b9378
12
.github/workflows/haskell-ci.yml
vendored
12
.github/workflows/haskell-ci.yml
vendored
@ -8,9 +8,9 @@
|
|||||||
#
|
#
|
||||||
# For more information, see https://github.com/haskell-CI/haskell-ci
|
# For more information, see https://github.com/haskell-CI/haskell-ci
|
||||||
#
|
#
|
||||||
# version: 0.19.20250330
|
# version: 0.19.20250506
|
||||||
#
|
#
|
||||||
# REGENDATA ("0.19.20250330",["github","cabal.project"])
|
# REGENDATA ("0.19.20250506",["github","cabal.project"])
|
||||||
#
|
#
|
||||||
name: Haskell-CI
|
name: Haskell-CI
|
||||||
on:
|
on:
|
||||||
@ -40,9 +40,9 @@ jobs:
|
|||||||
compilerVersion: 9.12.2
|
compilerVersion: 9.12.2
|
||||||
setup-method: ghcup
|
setup-method: ghcup
|
||||||
allow-failure: false
|
allow-failure: false
|
||||||
- compiler: ghc-9.10.1
|
- compiler: ghc-9.10.2
|
||||||
compilerKind: ghc
|
compilerKind: ghc
|
||||||
compilerVersion: 9.10.1
|
compilerVersion: 9.10.2
|
||||||
setup-method: ghcup
|
setup-method: ghcup
|
||||||
allow-failure: false
|
allow-failure: false
|
||||||
- compiler: ghc-9.8.4
|
- compiler: ghc-9.8.4
|
||||||
@ -95,8 +95,8 @@ jobs:
|
|||||||
chmod a+x "$HOME/.ghcup/bin/ghcup"
|
chmod a+x "$HOME/.ghcup/bin/ghcup"
|
||||||
- name: Install cabal-install
|
- name: Install cabal-install
|
||||||
run: |
|
run: |
|
||||||
"$HOME/.ghcup/bin/ghcup" install cabal 3.14.1.1-p1 || (cat "$HOME"/.ghcup/logs/*.* && false)
|
"$HOME/.ghcup/bin/ghcup" install cabal 3.14.2.0 || (cat "$HOME"/.ghcup/logs/*.* && false)
|
||||||
echo "CABAL=$HOME/.ghcup/bin/cabal-3.14.1.1-p1 -vnormal+nowrap" >> "$GITHUB_ENV"
|
echo "CABAL=$HOME/.ghcup/bin/cabal-3.14.2.0 -vnormal+nowrap" >> "$GITHUB_ENV"
|
||||||
- name: Install GHC (GHCup)
|
- name: Install GHC (GHCup)
|
||||||
if: matrix.setup-method == 'ghcup'
|
if: matrix.setup-method == 'ghcup'
|
||||||
run: |
|
run: |
|
||||||
|
Loading…
x
Reference in New Issue
Block a user