Skip to content

fix(scripts): accept dated names of SKIP sources - #39

Merged
noctuum merged 1 commit into
mainfrom
fix/nightly-source-names
Oct 16, 2026
Merged

fix(scripts): accept dated names of SKIP sources#39
noctuum merged 1 commit into
mainfrom
fix/nightly-source-names

fix(scripts): accept dated names of SKIP sources

b00b1d8
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Oct 16, 2026 in 1s

100.00% of diff hit (target 60.00%)

View this Pull Request on Codecov

100.00% of diff hit (target 60.00%)

View more details on Codecov