Skip to content
GitLab
Explore
Sign in
Feature/range facets
Code
Review changes
Check out branch
Download
Patches
Plain diff
José Nieves
requested to merge
feature/range-facets
into
main
Feb 05, 2024
Overview
0
Commits
3
Pipelines
0
Changes
8
Expand
changes
Added
implement range-facet support in the facet interface
Changed
improve facet type definition
improved exposed filters interface, naming and actions
Merge request reports
Loading