Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Pipelines
#31641
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.
Pipeline
Needs
Jobs
2
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#80475
fp
build-stdpp.dev-coq.8.11.2
00:13:31
Jul 18, 2020
passed
#80477
fp
build-stdpp.dev-coq.dev
00:22:22
Jul 18, 2020