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
#5830
fix captialization
5 jobs for
master
in 8 minutes and 31 seconds (queued for 2 seconds)
d31256c0
No related merge requests found.
Pipeline
Needs
Jobs
5
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#6415
fp-timing
build-coq.8.6.1
00:02:56
Dec 10, 2017
passed
#6414
fp-timing
build-coq.8.7.0
00:02:46
Dec 10, 2017
Deploy
passed
#6416
opam
00:00:14
Dec 10, 2017
passed
#6417
reverse-deps
00:00:14
Dec 10, 2017
Build More
passed
#6418
fp-timing
build-coq.8.7.dev
00:03:09
Dec 10, 2017