Skip to content

ci: pin regctl release + widen toolchain freshness-guard bats coverage (#1304) - #1313

Merged
Wikid82 merged 2 commits into
mainfrom
ci/toolchain-followups-1304
Sep 8, 2026
Merged

ci: pin regctl release + widen toolchain freshness-guard bats coverage (#1304)#1313
Wikid82 merged 2 commits into
mainfrom
ci/toolchain-followups-1304

test: widen toolchain freshness-guard bats coverage

09a984c
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Sep 8, 2026 in 0s

Coverage not affected when comparing 8a93887...09a984c

View this Pull Request on Codecov

Coverage not affected when comparing 8a93887...09a984c

View more details on Codecov