summaryrefslogtreecommitdiff
path: root/.cirrus.yml
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2023-07-11 14:46:33 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2023-07-11 14:46:33 -0700
commit0273ff3b316b0bb8e8e71a1fdf9cb3adaeb318aa (patch)
treeaebcf4b4b7f9afc916750c3a8cd01eae1e7946d0 /.cirrus.yml
parent100473377dfa8f399f7257fdcb81cb5a888e8c2c (diff)
Add -v to cirrus build script.
Diffstat (limited to '.cirrus.yml')
-rw-r--r--.cirrus.yml3
1 files changed, 1 insertions, 2 deletions
diff --git a/.cirrus.yml b/.cirrus.yml
index 2c51a8f9b..2f8871cc5 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -38,8 +38,7 @@ task:
fingerprint_key: linux_arm64_2023_03_11
deps_script:
- cabal update
- - cabal build --dependencies-only $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli
- - cabal freeze && cat cabal.project.freeze
+ - cabal build -v --dependencies-only $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli
upload_caches:
- cabal_store
package_script: