Skip to content

GitLab

use sections to scope options

2 jobs for ci/primproj in 2 minutes and 45 seconds (queued for 1 second)
a19d201e
1 related merge request: !69 use primitive projections for our mixins
Status Job ID Name Coverage
  Build
passed #3802
fp-timing
build-coq8.6.1

00:02:43

passed #3801
fp-timing
build-coq8.7

00:02:43