Commit 9dce1c4e authored by Samuel Hym's avatar Samuel Hym
Browse files

CI: List the versions of all installed packages

parent a19b1e4c
Pipeline #16874 passed with stages
in 7 minutes and 36 seconds
......@@ -7,6 +7,8 @@ build dx and deps:
- opam update
- opam install --deps-only -b -y .
- opam list
# Build
- ./configure --cprinterdir=$(opam var lib)/dx --compcertdir=$(opam var coq-compcert:build) --install-compcert-printer
- make
......
Supports Markdown
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