Skip to content

Merge pull request #21200 from github/igfoo/rename-holdsInBase-to-isBase #9751

Merge pull request #21200 from github/igfoo/rename-holdsInBase-to-isBase

Merge pull request #21200 from github/igfoo/rename-holdsInBase-to-isBase #9751

Triggered via push January 27, 2026 13:50
Status Success
Total duration 1m 41s
Artifacts 2
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
metrics-csharp.sarif
1.93 KB
sha256:333ad475ce181bfa7d4cb42b0f22df91ce29c859398d63445e5bd6dab3e0c059
metrics-java.sarif
5.2 KB
sha256:d1e1b263cf3c999d14545c39042d5e180952000a81a656fd81fb9c2e582ed4d3