Commit c0af1d13 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen

std++ try 2

parent 28405041
Pipeline #11390 passed with stage
in 5 minutes and 17 seconds
......@@ -8,6 +8,7 @@ stages:
- au
before_script:
- if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
- opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
- opam update -y
- opam config list
- opam repo list
......
Markdown is supported
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