Commit 8d96c3a2 authored by erwan's avatar erwan
Browse files

Fix CI

parent 4e795de0
Pipeline #44123 failed with stages
in 6 minutes and 38 seconds
...@@ -6,6 +6,7 @@ stages: ...@@ -6,6 +6,7 @@ stages:
before_script: before_script:
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository" - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
- sudo apt-get update
- sudo apt-get install -y zathura graphviz time - sudo apt-get install -y zathura graphviz time
# Specify the packages version numbers so that it (hopefully) never breaks # Specify the packages version numbers so that it (hopefully) never breaks
......
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