Commit 6905014d authored by Ralf Jung's avatar Ralf Jung

also run CI against 8.7 branch (will switch to release once that happened)

parent 4cf19713
Pipeline #4326 failed with stage
in 15 minutes and 25 seconds
......@@ -23,6 +23,12 @@ variables:
- master
- /^ci/
stdpp-coq8.7:
<<: *template
variables:
COQ_VERSION: "8.7.dev"
stdpp-coq8.6.1:
<<: *template
variables:
......
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