Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Pipelines
#3607
more restrictive Proof Using hints in base_logic, algebra
2 jobs for
master
in 10 minutes and 28 seconds (queued for 4 minutes and 57 seconds)
d6b49ab2
No related merge requests found.
Pipeline
Needs
Jobs
2
Tests
0
Status
Job ID
Name
Coverage
Test
passed
#2290
coq
iris-coq8.5.3
00:05:47
Jan 05, 2017
passed
#2291
coq
iris-coq8.6
00:04:40
Jan 05, 2017