Skip to content

GitLab

make it build again

2 jobs for ci/build in 15 minutes and 7 seconds (queued for 1 second)
28b758a7
1 related merge request: !1 Add CI and update build system
Status Job ID Name Coverage
  Build
passed #3644
fp-timing
build-coq8.6.1

00:15:05

passed #3643
fp-timing
build-coq8.7

00:10:12