Skip to content
Snippets Groups Projects
Commit ce728399 authored by Ralf Jung's avatar Ralf Jung
Browse files

bring back Coq 8.16 test; fix coq_makefile warning

parent 438f16ec
Branches
No related tags found
No related merge requests found
Pipeline #81824 passed
......@@ -33,7 +33,13 @@ build-coq.8.17.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.17.0"
#DENY_WARNINGS: "1" # coq_makefile warning cannot be resolved while supporting Coq 8.14
DENY_WARNINGS: "1"
build-coq.8.16.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.16.1"
DENY_WARNINGS: "1"
trigger-iris.dev:
<<: *template
......
......@@ -21,7 +21,7 @@ To log in, you need to [create an MPI-SWS GitLab account](https://gitlab.mpi-sws
For the tutorial material you need to have the following dependencies installed:
- Coq 8.17.0
- Coq 8.16.1 / 8.17.0
- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
*Note:* the tutorial material will not work with earlier or later versions of
......
-Q exercises exercises
-Q solutions solutions
-Q talks/demo demo
INSTALLDEFAULTROOT = tutorial-popl21
-docroot tutorial-popl21
talks/demo/demo.v
exercises/ex_01_swap.v
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment