Skip to content
GitLab
Explore
Projects
Groups
Snippets
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Memri
pymemri
Pipelines
#4512
Merge branch 'dev' into error-aborted-status
4 jobs for
error-aborted-status
in 2 minutes and 28 seconds (queued for 1 second)
e19dd414
1 related merge request:
!114 Add simple listener for status='aborted'
Pipeline
Needs
Jobs
4
Tests
0
Menu
Explore
Projects
Groups
Snippets