Skip to content
GitLab
Explore
Sign in
Register
Skip "irrelevant" pool workers in workers list (
#733
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Enrico Zini
requested to merge
workers-ignore-irrelevant
into
devel
Apr 08, 2025
Overview
4
Commits
2
Pipelines
2
Changes
4
Expand
Merge request reports
Loading