Skip to content

GitLab

I
Iris

permit local Makefile customizations and extra coqfiles

2 jobs for master in 22 minutes and 23 seconds (queued for 3 seconds)
acdbc4e6 acdbc4e6cbb1d2ec161cbfa24ad80c3ce7ed6ea8
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