Skip to content
GitLab

CI: test against coq 8.6.1

1 job for ci/ralf/8.6.1 in 25 minutes and 11 seconds (queued for 5 minutes and 37 seconds)
6fb692dd
1 related merge request: !8 CI: test against coq 8.6.1