diff options
| author | John MacFarlane <[email protected]> | 2025-12-24 15:26:42 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-12-24 15:44:18 -0700 |
| commit | 74351e47b816433d95b020caae51da5a5c7b20c7 (patch) | |
| tree | 057f75fa082f4fb94754dd68eb9dd8de8393bde8 | |
| parent | 455bea907d48ff84286015ea6bf8315d34749039 (diff) | |
CI: disable tests in the -http configuration.
| -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 8d72e827a..1c952aa43 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -61,7 +61,7 @@ jobs: cabalopts: '--ghc-option=-Werror' - ghc: '9.12' cabal: 'latest' - cabalopts: '-f-http --ghc-option=-Werror' + cabalopts: '--ghc-option=-Werror -f-http --test-option="-p /XXXXX/"' steps: - uses: actions/checkout@v6 |