Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Release Engineering
Public
toolkit
Pipelines
#65
Merge branch 'devel' into 'main'
we don't actually have to sed it looks like. See merge request
!18
1 job for
main
in 31 seconds (queued for 6 seconds)
95ded0c6
No related merge requests found.
Pipeline
Needs
Jobs
1
Tests
0
Status
Name
Job ID
Coverage
Test
passed
shellcheck
#71
container
00:00:31
Jul 27, 2021