Skip to content

Actions: hyperpolymath/standards

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
254 workflow runs
254 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 4 directories with 1 update … CodeQL Security Analysis #254: Commit 6d4f0b1 pushed by hyperpolymath
7m 30s main
main
7m 30s
Create Bustfile CodeQL Security Analysis #253: Commit 929daa5 pushed by hyperpolymath
1m 21s main
main
1m 21s
Delete .machine_readable/contractiles/trust/Trustfile.a2ml CodeQL Security Analysis #252: Commit 28eeca5 pushed by hyperpolymath
1m 23s main
main
1m 23s
Update standards to reflect Julia integration completion\n\nDocument … CodeQL Security Analysis #251: Commit 746103d pushed by hyperpolymath
1m 42s main
main
1m 42s
chore: RSR sync and mass repository update CodeQL Security Analysis #250: Commit c569653 pushed by hyperpolymath
1m 23s main
main
1m 23s
chore(deps): bump the cargo group across 4 directories with 1 update CodeQL Security Analysis #249: Pull request #29 opened by dependabot bot
3m 46s dependabot/cargo/a2ml/bindings/rust/cargo-c36c9936b2
dependabot/cargo/a2ml/bindings/rust/cargo-c36c9936b2
3m 46s
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