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
Toggle navigation
Open sidebar
sarah.grebing
ProofScriptParser
Pipelines
#10650
simplifcations and fixes
3 jobs for
master
in 2 minutes and 7 seconds (queued for 1 second)
985b0a8b
No related merge requests found.
Pipeline
Needs
Jobs
3
Tests
0
Status
Job ID
Name
Coverage
Test
passed
#13876
build
00:00:27
May 21, 2017
passed
#13878
deploy
00:01:10
May 21, 2017
passed
#13877
test
00:00:29
May 21, 2017