Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SAT4J
sat4j
Pipelines
#378
this gives a more honest version of 'no division'
4 jobs for
cherry-pick-d7168eec
in 26 minutes and 47 seconds (queued for 3 seconds)
9feb2296
1 related merge request:
!3 this gives a more honest version of 'no division'
Pipeline
Needs
Jobs
4
Failed Jobs
1
Tests
0