diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-06-14 10:06:21 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-06-14 10:06:21 -0700 |
| commit | f699d64a1a75b672ce4ea1b57ce56889fe360df2 (patch) | |
| tree | 409d9eb7f1e85ef6af6224477dfe1cdc1aa5cdad /.github/workflows/ci.yml | |
| parent | a0559d952bc36ed5ed0693fcde15e6bd59dcf5e7 (diff) | |
Switch CI to use ghc 8.8.3.
This should fix CI failures.
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 05bb75f7f..77e0dd2f5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -51,7 +51,7 @@ jobs: cabal: '2.4' - ghc: '8.6.5' cabal: '2.4' - - ghc: '8.8.1' + - ghc: '8.8.3' cabal: '3.0' - ghc: '8.10.1' cabal: '3.2' |