@@ -84,7 +84,7 @@ matrix:
84 #- env: BUILD=cabal-v2 GHCVER=head
84 #- env: BUILD=cabal-v2 GHCVER=head
85 # addons: {apt: {packages: [cabal-install-head,ghc-head], sources: [hvr-ghc]}}
85 # addons: {apt: {packages: [cabal-install-head,ghc-head], sources: [hvr-ghc]}}
87− - env: BUILD=cabal-v2 GHCVER=8.8.1 GHC_OPTIONS="" CABAL_BUILD_OPTIONS="--flag benchmark --flag inspection --allow-newer=base,ghc"
87+ - env: BUILD=cabal-v2 GHCVER=8.8.1 GHC_OPTIONS="" CABAL_BUILD_OPTIONS="--project-file=cabal.project.ci"
88 addons: {apt: {packages: [cabal-install-head,ghc-8.8.1], sources: [hvr-ghc]}}
88 addons: {apt: {packages: [cabal-install-head,ghc-8.8.1], sources: [hvr-ghc]}}
90 - env: BUILD=cabal-v2 GHCVER=8.6.5 GHC_OPTIONS="" CABAL_BUILD_OPTIONS="--flags streamk"
90 - env: BUILD=cabal-v2 GHCVER=8.6.5 GHC_OPTIONS="" CABAL_BUILD_OPTIONS="--flags streamk"