Skip to content

GitLab

gitignore

2 jobs for master in 14 minutes and 25 seconds
f5660abc
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #26091
fp
build-coq.8.9.0

00:06:06

passed #26090
fp
build-coq.dev

00:14:25