Skip default feature checking when running make check-features, don't cancel jobs on nightly/stable#741
Merged
neysofu merged 1 commit intonightlyfrom filippo/no-default-in-ciAug 28, 2023
+5-3
Commits
Commits on Aug 28, 2023
- committed
