diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8098e56..1181f44 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -148,6 +148,10 @@ jobs: ghc: '9.12' postgres: 17 os: ubuntu + - documentation: false + ghc: '9.12' + postgres: 17 + os: windows release: if: ${{ github.event_name == 'release' }} name: Release