Repository navigation

ci: one guard ran in CI and not locally, and nothing compared the two lists - #1133

Closed

vyncint wants to merge 2 commits into

NVIDIA:mainfrom

vyncint:ci/guard-coverage-parity

Closed

ci: one guard ran in CI and not locally, and nothing compared the two lists#1133
vyncint wants to merge 2 commits into
NVIDIA:mainfrom
vyncint:ci/guard-coverage-parity

Commits on Aug 24, 2026
- ci: no guard is credited unless a pull request actually executes it
  vyncint
  committed
  d9cd089
- ci(guard-coverage): a guard run through `just` was reported as absent from CI
  vyncint
  committed
  c5e95c6