Skip to content

GitLab

I think we better keep testing the 8.7 branch

5 jobs for master in 7 minutes and 9 seconds (queued for 1 second)
b8aba40a
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #3966
fp-timing
build-coq8.6

00:02:02

passed #3965
fp-timing
build-coq8.6.1

00:01:57

passed #3964
fp-timing
build-coq8.7

00:06:50

passed #3963
fp-timing
build-coq8.7.dev

00:02:06

 
  Opam
passed #3967
opam

00:00:12