Skip to content

GitLab

also build against Coq 8.6

2 jobs for opam-ci in 43 minutes and 25 seconds (queued for 22 minutes and 29 seconds)
ea89c0a4
1 related merge request: !3 use opam-based CI
Status Name Job ID Coverage
  Test
passed gps-coq8.5.3 #1949

00:22:00

passed gps-coq8.6 #1950
coq

00:21:24