Commit 482553f5 authored by Ralf Jung's avatar Ralf Jung
Browse files

support build-testing against forks

parent d14aca45
......@@ -37,7 +37,9 @@ build-coq.8.12.0:
<<: *template
OPAM_PINS: "coq version 8.12.0 git git+$STDPP_REV git git+$IRIS_REV"
STDPP_REPO: "iris/stdpp"
IRIS_REPO: "iris/iris"
OPAM_PINS: "coq version 8.12.0 git+$STDPP_REPO#$STDPP_REV git+$IRIS_REPO#$IRIS_REV"
- triggers
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