Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
I
Iris
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
116
Issues
116
List
Boards
Labels
Service Desk
Milestones
Merge Requests
20
Merge Requests
20
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Iris
Iris
Pipelines
#5887
WP def.n tweaking
5 jobs for
master
in 7 minutes and 8 seconds (queued for 8 seconds)
7e2d2dbc
No related merge requests found.
Pipeline
Needs
Jobs
5
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#6577
fp-timing
build-coq.8.6.1
00:03:02
Dec 13, 2017
passed
#6576
fp-timing
build-coq.8.7.0
00:02:54
Dec 13, 2017
Deploy
passed
#6578
opam
00:00:15
Dec 13, 2017
passed
#6579
reverse-deps
00:00:15
Dec 13, 2017
Build More
passed
#6580
fp-timing
build-coq.8.7.dev
00:03:47
Dec 13, 2017