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
Toggle navigation
Open sidebar
sarah.grebing
ProofScriptParser
Pipelines
#10521
matcher api and bugfixes
3 jobs for
master
in 1 minute and 54 seconds (queued for 1 second)
90c10929
No related merge requests found.
Pipeline
Needs
Jobs
3
Tests
0
Status
Job ID
Name
Coverage
Test
passed
#13526
build
00:00:25
May 17, 2017
passed
#13528
deploy
00:01:02
May 17, 2017
passed
#13527
test
00:00:27
May 17, 2017