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
#6694
Make FromPure depend on an affinity parameter.
2 jobs for
gen_proofmode
in 3 minutes and 47 seconds (queued for 2 seconds)
78ba9509
1 related merge request:
!66 Generalized proofmode
Pipeline
Needs
Jobs
2
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#8246
fp-timing
build-coq.8.7.1
00:03:32
Feb 12, 2018
Deploy
passed
#8247
opam
00:00:14
Feb 12, 2018