Commit 10ad8ed7 authored by Alfredo Di Napoli's avatar Alfredo Di Napoli

Fix CI

parent 8a2cabfd
...@@ -35,7 +35,7 @@ cabal: ...@@ -35,7 +35,7 @@ cabal:
- .cabal/ - .cabal/
policy: pull-push policy: pull-push
script: script:
- nix-shell --run "./bin/update-cabal-project $CABAL_STORE_DIR && cabal --store-dir=$CABAL_STORE_DIR v2-build --ghc-options='-O0 -fclear-plugins'" - nix-shell --run "./bin/update-cabal-project $CABAL_STORE_DIR && cabal --store-dir=$CABAL_STORE_DIR v2-build --ghc-options='-O2 -fclear-plugins'"
allow_failure: false allow_failure: false
bench: bench:
...@@ -47,7 +47,7 @@ bench: ...@@ -47,7 +47,7 @@ bench:
- .cabal/ - .cabal/
policy: pull-push policy: pull-push
script: script:
- nix-shell --run "cabal --store-dir=$CABAL_STORE_DIR v2-bench --ghc-options='-fclear-plugins'" - nix-shell --run "./bin/update-cabal-project $CABAL_STORE_DIR && cabal --store-dir=$CABAL_STORE_DIR v2-bench --ghc-options='-O2 -fclear-plugins'"
allow_failure: false allow_failure: false
test: test:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment