workflows/pr: fix condition for no-pr-failures job#433097
Merged
wolfgangwalther merged 1 commit intoNixOS:masterfrom Aug 12, 2025
Merged
workflows/pr: fix condition for no-pr-failures job#433097wolfgangwalther merged 1 commit intoNixOS:masterfrom
wolfgangwalther merged 1 commit intoNixOS:masterfrom