diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-08-16 09:14:10 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-08-16 09:14:10 -0700 |
| commit | 97288cea56f8e44594152ca5b5035827502a46fa (patch) | |
| tree | 0d5e9616a75e79453e3980848d721a329b82b351 /.github/workflows | |
| parent | 46eecf72c331285dedf8e4bb70701d7e4aa9c5fc (diff) | |
Make sure we test building the server.
Diffstat (limited to '.github/workflows')
| -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 57b8bd50f..cdf4345d5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -56,7 +56,7 @@ jobs: testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' - ghc: '8.10.7' cabal: '3.2' - cabalopts: '-fpandoc-cgi' + cabalopts: '-fserver' testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' - ghc: '9.0.2' cabal: '3.4' |