Add initial set of task-provided tags (
#326
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Add initial set of task-provided tags (#326)
Enrico Zini
requested to merge
task-provided-tags
into
devel
Feb 13, 2026
Overview
6
Commits
9
Pipelines
5
Changes
15
Using tags for scheduling is still temporarily disabled
Merge request reports
Loading