Commit c56a9142 authored by Samuel Hym's avatar Samuel Hym
Browse files

CI: List the versions of all installed packages

parent e7f148bd
Pipeline #16864 passed with stages
in 6 minutes and 58 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