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
Status Name Job ID Coverage
  Test
passed gps-coq8.6.1 #3136
fp-timing

00:25:11