Skip to content
GitLab
Explore
Sign in
nomad-lab
nomad-FAIR
Merge requests
!1510
Resolve "Search interface improvements"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Lauri Himanen
requested to merge
1740-search-interface-improvements
into
develop
Oct 20, 2023
Overview
10
Commits
10
Pipelines
7
Changes
3
Expand
Closes
#1740 (closed)
Merge request reports