build: exclude the mage build script from coverage reporting - #610
Closed
jongio wants to merge 2 commits into
Closed
build: exclude the mage build script from coverage reporting#610jongio wants to merge 2 commits into
jongio wants to merge 2 commits into
GitHub Advanced Security / CodeQL
succeeded
Aug 13, 2026 in 2s
No new alerts in code changed by this pull request
Loading