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
bob
bob.devtools
Merge requests
!267
Merged
Created
Oct 29, 2021
by
André Anjos
@andre.anjos
💬
Owner
Options
[scripts.jobs] Fix tag finding on CI
Overview
0
Commits
2
Pipelines
2
Changes
2