Commit ddc33bf9 authored by erwan's avatar erwan
Browse files

ci: try to fix pbs i don't understand

parent 624bdc88
Pipeline #71460 passed with stages
in 3 minutes and 50 seconds
......@@ -22,6 +22,7 @@ test_opam_test:
stage: test
- sudo apt-get install -y m4
- opam repo add opam-ocaml-org ""
- opam repo add verimag-sync-repo ""
- opam update
- opam depext -y lutin
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