diff options
| author | John MacFarlane <[email protected]> | 2025-12-24 12:15:40 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-12-24 12:15:40 -0700 |
| commit | 7648494849e6d3d88f427d1067384e075693b031 (patch) | |
| tree | 0a3d308b10bea66b2f6ac35d7330e421539dc9ce /.github | |
| parent | 311dbfdee8fb57006d9fa21996e081a5be8e3718 (diff) | |
CI: test with -http flag.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6ff8f654a..8d72e827a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -59,6 +59,9 @@ jobs: - ghc: '9.12' cabal: 'latest' cabalopts: '--ghc-option=-Werror' + - ghc: '9.12' + cabal: 'latest' + cabalopts: '-f-http --ghc-option=-Werror' steps: - uses: actions/checkout@v6 |