Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

Commit

Permalink
fix(CI) Verbose output on install OCaml deps
Browse files Browse the repository at this point in the history
Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
  • Loading branch information
jeromesimeon committed Dec 12, 2019
1 parent 92bb29b commit a9340c2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .circleci/config.yml
Expand Up @@ -39,7 +39,7 @@ common_steps: &common_steps
- run:
name: "Install OCaml deps"
command: |
opam install -y --jobs=2 ocamlbuild menhir camlp5 base64 js_of_ocaml js_of_ocaml-ppx yojson atdgen re calendar uri
opam install -y -v --jobs=2 ocamlbuild menhir camlp5 base64 js_of_ocaml js_of_ocaml-ppx yojson atdgen re calendar uri
- run:
name: "Install Coq"
command: |
Expand Down

0 comments on commit a9340c2

Please sign in to comment.