Commit 3e732b21 authored by Ralf Jung's avatar Ralf Jung

also test Coq 8.6.1

parent 96ca5dea
Pipeline #14332 failed with stage
in 20 minutes and 28 seconds
...@@ -35,3 +35,8 @@ build-coq.8.7.2: ...@@ -35,3 +35,8 @@ build-coq.8.7.2:
<<: *template <<: *template
variables: variables:
OPAM_PINS: "coq version 8.7.2" OPAM_PINS: "coq version 8.7.2"
build-coq.8.6.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.6.1"
...@@ -9,7 +9,7 @@ This tutorial comes in two versions: ...@@ -9,7 +9,7 @@ This tutorial comes in two versions:
For the tutorial material you need to have the following dependencies installed: For the tutorial material you need to have the following dependencies installed:
- Coq 8.7.2 / 8.8.2 - Coq 8.6.1 / 8.7.2 / 8.8.2
- Ssreflect 1.6.4 - Ssreflect 1.6.4
- Coq-std++ 1.1 - Coq-std++ 1.1
- Iris 3.1 - Iris 3.1
......
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