Skip to content
Snippets Groups Projects
Commit 19172c74 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Remove Coq 8.14.

parent 224357cb
Branches
Tags
No related merge requests found
Pipeline #81796 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 6 deletions
.gitlab-ci.yml
+ 0
− 6
View file @ 19172c74
......@@ -35,12 +35,6 @@ build-coq.8.17.0:
OPAM_PINS: "coq version 8.17.0"
#DENY_WARNINGS: "1" # coq_makefile warning cannot be resolved while supporting Coq 8.14
build-coq.8.14.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.14.1"
DENY_WARNINGS: "1"
trigger-iris.dev:
<<: *template
variables:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment