Skip to content

GitLab

permit local Makefile customizations and extra coqfiles

2 jobs for master in 22 minutes and 23 seconds (queued for 3 seconds)
acdbc4e6
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #80475
fp
build-stdpp.dev-coq.8.11.2

00:13:31

passed #80477
fp
build-stdpp.dev-coq.dev

00:22:22