Skip to content

Actions: PlatformRelay/Assent

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yaml
377 workflow runs
377 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
📝 docs(ci): withdraw the third copy of the retracted claim (D-157) CodeQL #377: Commit 8c2d919 pushed by konih
1m 22s main
main
1m 22s
🐛 fix(ci): share one PR-reach reader across the three PR-visible gates (D-157) CodeQL #376: Pull request #91 opened by konih
1m 16s lane/gates3-integrate
lane/gates3-integrate
1m 16s
📝 docs(release): correct the residual the gate documents (R3-01) CodeQL #375: Commit 8b52183 pushed by konih
1m 13s main
main
1m 13s
🐛 fix(release): grade every cosign verify-blob invocation, not just one (D-160) CodeQL #374: Pull request #90 opened by konih
1m 18s lane/univ-cosign-integrate
lane/univ-cosign-integrate
1m 18s
📝 docs(ci): D-159 recorded a residual that does not exist (ORPH-… CodeQL #373: Commit 5edb044 pushed by konih
1m 20s main
main
1m 20s
🐛 fix(ci): run the orphaned release-verify-test gate (D-159) CodeQL #372: Pull request #89 opened by konih
1m 20s lane/orphan-integrate
lane/orphan-integrate
1m 20s
📝 docs(e11): delete the false cost claim; reason 1 carries Shape… CodeQL #371: Commit c094f15 pushed by konih
1m 8s main
main
1m 8s
📝 docs(e11): record the tier-1 CEL ceiling (E11-S01) CodeQL #370: Pull request #88 opened by konih
1m 18s lane/e11-s01-integrate
lane/e11-s01-integrate
1m 18s
✅ test(hack): close two gate fail-opens found by rev… CodeQL #369: Commit d9e1b66 pushed by konih
1m 20s main
main
1m 20s
🐛 fix(ci): refuse to run gate scripts under bash < 4 (BASH32-F01) CodeQL #368: Pull request #87 opened by konih
1m 14s lane/bash32-f01-integrate
lane/bash32-f01-integrate
1m 14s
🐛 fix(ci): bump golangci-lint to v2.13.1 for Go 1.27 (D-158) CodeQL #367: Commit ed8e541 pushed by konih
1m 46s main
main
1m 46s
🐛 fix(ci): bump golangci-lint to v2.13.1 for Go 1.27 support CodeQL #366: Pull request #86 opened by konih
1m 42s lane/ci-toolchain-integrate
lane/ci-toolchain-integrate
1m 42s
📝 docs(e10): GitHub addressing & representation model (E10-S00) CodeQL #365: Pull request #85 opened by konih
1m 43s lane/e10-s00-integrate
lane/e10-s00-integrate
1m 43s
🐛 fix(ci): pin COUNT1-F01 and refuse a merged gate step CodeQL #364: Commit 5ba9da0 pushed by konih
1m 33s main
main
1m 33s
🐛 fix(ci): -count=1 on the cache-blind dogfood gates (COUNT1) CodeQL #363: Pull request #84 opened by konih
1m 25s lane/count1-integrate
lane/count1-integrate
1m 25s
🔒 fix(release): pin cosign signer identity on the maintainer ver… CodeQL #362: Commit e575ef8 pushed by konih
1m 30s main
main
1m 30s
🔒 fix(release): pin cosign signer identity on the maintainer verify path (AUD2-F01) CodeQL #361: Pull request #83 opened by konih
1m 23s lane/aud2-f01-integrate
lane/aud2-f01-integrate
1m 23s
📝 docs(backlog): mark P5-AUD2 complete (S01-S05 landed) CodeQL #360: Commit 2903b10 pushed by konih
1m 24s main
main
1m 24s
✅ test(audit): pin the AUD2 remediations behind a PR-visible exit gate (AUD2-S05) CodeQL #359: Pull request #82 opened by konih
1m 22s lane/aud2-s05-integrate
lane/aud2-s05-integrate
1m 22s
🔒 fix(provider): bound exec stdout, set WaitDelay, capture stderr CodeQL #358: Commit 07b44db pushed by konih
1m 32s main
main
1m 32s
🔒 fix(provider): bound exec stdout, set WaitDelay, capture stderr CodeQL #357: Pull request #81 opened by konih
1m 17s lane/aud2-s01-integrate
lane/aud2-s01-integrate
1m 17s
📝 docs(openspec): amend AUD2-S03 to the shipped pin and log D-15… CodeQL #356: Commit 93e61f2 pushed by konih
1m 17s main
main
1m 17s
🔒 fix(release): pin cosign signer identity and issuer in install.sh (SEC-03) CodeQL #355: Pull request #80 opened by konih
1m 21s lane/aud2-s03-integrate
lane/aud2-s03-integrate
1m 21s
:test: test(compare): kill the surviving EffectChallenge intervention… CodeQL #354: Commit 39333fd pushed by konih
1m 30s main
main
1m 30s
:test: test(compare): kill the surviving EffectChallenge intervention mutant (TEST-02) CodeQL #353: Pull request #79 opened by konih
1m 16s lane/aud2-s04-integrate
lane/aud2-s04-integrate
1m 16s