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

test 8.16 branch

parent e6914ec4
Branches
Tags
No related merge requests found
Pipeline #70750 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
.gitlab-ci.yml
+ 2
− 2
View file @ c9cc6b35
......@@ -42,10 +42,10 @@ variables:
## Build jobs
build-coq.8.16+rc1:
build-coq.8.16.dev:
<<: *template
variables:
OPAM_PINS: "coq version 8.16+rc1"
OPAM_PINS: "coq version 8.16.dev"
build-coq.8.15.0:
<<: *template
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment