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
curry-packages
currypp
Pipelines
#317
Loading of proof files improved
3 jobs for
notypeclasses
latest
Auto DevOps
6f93e9ce
No related merge requests found.
Pipeline
Needs
Jobs
3
Failed Jobs
1
Tests
0
Status
Job ID
Name
Coverage
Build
failed
#1723
build
Dec 16, 2018
Test
skipped
#1725
allowed to fail
code_quality
skipped
#1724
test
Name
Stage
Failure
failed
build
Build
There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log