Skip to content

Actions: hyperpolymath/standards

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
498 workflow runs
498 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
chore(deps): bump the cargo group across 3 directories with 1 update CodeQL Security Analysis #248: Pull request #28 opened by dependabot Bot
1m 32s dependabot/cargo/a2ml/bindings/rust/cargo-a5329e1ac9
dependabot/cargo/a2ml/bindings/rust/cargo-a5329e1ac9
1m 32s
chore(deps): bump rand from 0.8.5 to 0.9.3 in /k9-svc/tools/src/k9-sign in the cargo group across 1 directory CodeQL Security Analysis #247: Pull request #27 opened by dependabot Bot
1m 3s dependabot/cargo/k9-svc/tools/src/k9-sign/cargo-3df31d4f53
dependabot/cargo/k9-svc/tools/src/k9-sign/cargo-3df31d4f53
1m 3s
CodeQL Security Analysis CodeQL Security Analysis #246: Scheduled
1m 33s main
main
1m 33s
feat(session-management): add Concurrent-Write Collision Protocol (co… CodeQL Security Analysis #245: Commit 10a1035 pushed by hyperpolymath
1m 27s main
main
1m 27s
docs(ux): add Face Identity Kit link to UX standards index CodeQL Security Analysis #244: Commit 3aca145 pushed by hyperpolymath
1m 20s main
main
1m 20s
chore(6a2): enrich A2ML checkpoint files across all satellites CodeQL Security Analysis #243: Commit 4bfe9d2 pushed by hyperpolymath
1m 29s main
main
1m 29s
chore: migrate standards repo SCM references and examples to A2ML format CodeQL Security Analysis #242: Commit 6e67a71 pushed by hyperpolymath
9m 11s main
main
9m 11s
refactor(lol/agda): replace Float arithmetic postulates with stdlib defs CodeQL Security Analysis #241: Commit cb497d6 pushed by hyperpolymath
5m 37s main
main
5m 37s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD CodeQL Security Analysis #240: Commit 69561fc pushed by hyperpolymath
1m 28s main
main
1m 28s
chore(coverage): session close 2026-04-12 — KRL, tropical AFP, Affine… CodeQL Security Analysis #239: Commit 4654541 pushed by hyperpolymath
1m 25s main
main
1m 25s
chore(v-lang): add MIGRATION.adoc for lol v-gateway and v-lol stubs CodeQL Security Analysis #238: Commit 7d709da pushed by hyperpolymath
1m 50s main
main
1m 50s
chore(v-lang): sideline LOL V-lang API implementations — V-lang banne… CodeQL Security Analysis #237: Commit 0442592 pushed by hyperpolymath
1m 27s main
main
1m 27s
feat(lol/v-migration): Zig gateway replaces vweb V gateway CodeQL Security Analysis #236: Commit 32dd166 pushed by hyperpolymath
1m 34s main
main
1m 34s
docs(licence): update PMPL policy — MPL-2.0 is automatic legal fallback CodeQL Security Analysis #235: Commit d6e13c6 pushed by hyperpolymath
1m 27s main
main
1m 27s
docs(proofs): mark H1-H7 and V7 complete in spec templates CodeQL Security Analysis #234: Commit 9bf4690 pushed by hyperpolymath
1m 29s main
main
1m 29s
docs(proofs): mark BJ1 done in boj-server spec template CodeQL Security Analysis #233: Commit cdf60c0 pushed by hyperpolymath
1m 42s main
main
1m 42s
docs(proof-specs): mark echidna E1-E9 done (P0+P1 I2 obligations met) CodeQL Security Analysis #232: Commit caffeb0 pushed by hyperpolymath
1m 31s main
main
1m 31s
docs(proof-specs): mark gossamer GS1/GS2 done, panic-attacker PA1/PA2… CodeQL Security Analysis #231: Commit 317842c pushed by hyperpolymath
1m 28s main
main
1m 28s
proof(protocol-squisher): mark all 8 theorems done — 2026-04-11 CodeQL Security Analysis #230: Commit 9119e51 pushed by hyperpolymath
1m 37s main
main
1m 37s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #229: Commit 38dfc4e pushed by hyperpolymath
1h 52m 34s main
main
1h 52m 34s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #228: Commit 4284bfa pushed by hyperpolymath
1h 27m 48s main
main
1h 27m 48s
docs: relocate proof/audit/example reference material from Desktop st… CodeQL Security Analysis #227: Commit 4812f1c pushed by hyperpolymath
1m 29s main
main
1m 29s
docs(launcher): document hard-coded fallback path in loader resolutio… CodeQL Security Analysis #226: Commit 547fb91 pushed by hyperpolymath
1m 45s main
main
1m 45s
policy: ban V-lang/ATS2/Bun, add --integ/--disinteg, Rust means Rust/… CodeQL Security Analysis #225: Commit 5c5f23b pushed by hyperpolymath
2m 6s main
main
2m 6s
Merge branch 'claude/analyze-repo-improvements-LkcDI' - AVOW tests, E… CodeQL Security Analysis #224: Commit 2776eed pushed by JoshuaJewell
1m 18s main
main
1m 18s
ProTip! You can narrow down the results and go further in time using created:<2026-04-09 or the other filters available.