Skip to content

GitLab

Commit 3a99ffb0 authored by Ralf Jung's avatar Ralf Jung
Browse files

CI: test the version that the README documents

parent 9445ab70
Pipeline #42827 passed with stage
in 20 minutes and 25 seconds
Hide whitespace changes
Inline Side-by-side
.gitlab-ci.yml
View file @ 3a99ffb0
......@@ -32,13 +32,10 @@ variables:
# variables:
# OPAM_PINS: "coq version dev"
build-coq.8.11.0:
build-coq.8.11.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.11.0"
# OPAM_PKG: "coq-lambda-rust"
# tags:
# - fp-timing
OPAM_PINS: "coq version 8.11.2"
# build-coq.8.10.1:
# <<: *template
......
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