ci: increase stale workflow operations-per-run to 250#1922
Merged
mnriem merged 1 commit intogithub:mainfrom Mar 20, 2026
Merged
ci: increase stale workflow operations-per-run to 250#1922mnriem merged 1 commit intogithub:mainfrom
mnriem merged 1 commit intogithub:mainfrom