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