diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-08-16 16:27:31 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-08-17 12:28:14 -0700 |
| commit | 8ddc2fc79a45283e7b90f59e9a7763e877d4c044 (patch) | |
| tree | 3e9e8f4fdc7370137c46344ba1829aac6c43c6cd /.github/workflows/ci.yml | |
| parent | 90d52b7129440d7d91bcdf3210513f380063be0a (diff) | |
Integrate server into main pandoc.
- Remove server flag.
- Remove pandoc-server executable.
- Add Text.Pandoc.Server as exposed module. [API change]
- Re-use Opt (and our existing FromJSON instance) for Params.
- Document.
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 cdf4345d5..fe65baa6e 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: '-fserver' + cabalopts: '' testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' - ghc: '9.0.2' cabal: '3.4' |