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
nomad-lab
nomad-FAIR
Merge requests
!632
Merged
Created
Apr 08, 2022
by
Markus Scheidgen
@mscheidg
Owner
Options
Resolve "Section references should use names"
Overview
1
Commits
1
Pipelines
2
Changes
2
Closes
#800 (closed)
Edited
Apr 08, 2022
by
Markus Scheidgen