Skip to content

Actions: hyperpolymath/systemet

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
107 workflow runs
107 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 actions group with 2 updates (#40) CodeQL Security Analysis #82: Commit dcbbda6 pushed by hyperpolymath
Startup failure main
main
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #81: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-813f1e9705
dependabot/github_actions/actions-813f1e9705
Startup failure
fix(ci): switch to permissionless reusable workflow CodeQL Security Analysis #80: Pull request #39 synchronize by hyperpolymath
52s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
52s
fix(ci): switch to permissionless reusable workflow CodeQL Security Analysis #79: Pull request #39 opened by hyperpolymath
12s ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
12s
docs(state): refresh AFFIRMATION + STATE.a2ml; resync the template va… CodeQL Security Analysis #78: Commit b5f7411 pushed by hyperpolymath
1m 36s main
main
1m 36s
docs(state): refresh AFFIRMATION + STATE.a2ml; resync the template validator CodeQL Security Analysis #77: Pull request #37 opened by hyperpolymath
50s docs/state-refresh-2026-07-29
docs/state-refresh-2026-07-29
50s
fix(estate-rules): allowlist .githooks/, drop the stale flake.nix ent… CodeQL Security Analysis #76: Commit 662b172 pushed by hyperpolymath
51s main
main
51s
fix(estate-rules): allowlist .githooks/, drop the stale flake.nix entry CodeQL Security Analysis #75: Pull request #36 opened by hyperpolymath
48s fix/root-allow-githooks
fix/root-allow-githooks
48s
fix(ci): Bun-first runtime policy; retire two gates that enforced the… CodeQL Security Analysis #74: Commit bbc5454 pushed by hyperpolymath
22m 15s main
main
22m 15s
fix(ci): Bun-first runtime policy; retire two gates that enforced the opposite CodeQL Security Analysis #73: Pull request #35 opened by hyperpolymath
20m 20s fix/runtime-policy-bun-first
fix/runtime-policy-bun-first
20m 20s
proofs(lean4): land the green half of the η extension (PARTIAL — ET-1… CodeQL Security Analysis #72: Commit b4a59d0 pushed by hyperpolymath
49s main
main
49s
proofs(lean4): land the green half of the η extension (PARTIAL — ET-1..3 η) CodeQL Security Analysis #71: Pull request #34 opened by hyperpolymath
55s proofs/l1-eta-extension
proofs/l1-eta-extension
55s
chore(security): fill the security-contact placeholders (owner-suppli… CodeQL Security Analysis #70: Commit 0af1a2f pushed by hyperpolymath
45s main
main
45s
chore(security): fill the security-contact placeholders (owner-supplied values) CodeQL Security Analysis #69: Pull request #33 opened by hyperpolymath
52s chore/security-contact-fill
chore/security-contact-fill
52s
ci: vendor validation scripts and remove remote action pins (#31) CodeQL Security Analysis #68: Commit 2a24f3a pushed by hyperpolymath
39m 35s main
main
39m 35s
ci: vendor validation scripts and remove remote action pins CodeQL Security Analysis #67: Pull request #31 opened by hyperpolymath
1m 22s fix-ci-actions
fix-ci-actions
1m 22s
fix(ci): repoint dogfood actions at their new in-ecosystem paths (#29) CodeQL Security Analysis #66: Commit 859395a pushed by hyperpolymath
43s main
main
43s
fix(ci): repoint dogfood actions at their new in-ecosystem paths CodeQL Security Analysis #65: Pull request #29 opened by hyperpolymath
45s fix/dogfood-action-refs
fix/dogfood-action-refs
45s
docs(adr): draft ADR-0002 — L0 observational equivalence for TEA eras… CodeQL Security Analysis #64: Commit 53e6afe pushed by hyperpolymath
58s main
main
58s
docs(adr): draft ADR-0002 — L0 observational equivalence for TEA erasure (prospective ET-16) CodeQL Security Analysis #63: Pull request #28 synchronize by hyperpolymath
1m 16s docs/adr-0002-l0-observation
docs/adr-0002-l0-observation
1m 16s
docs(adr): draft ADR-0002 — L0 observational equivalence for TEA erasure (prospective ET-16) CodeQL Security Analysis #62: Pull request #28 opened by hyperpolymath
44s docs/adr-0002-l0-observation
docs/adr-0002-l0-observation
44s
proofs(lean4): promote ET-2 to main — L1 conversion is decidable (#27) CodeQL Security Analysis #61: Commit eed2092 pushed by hyperpolymath
46s main
main
46s
proofs(lean4): promote ET-2 to main — L1 conversion is decidable CodeQL Security Analysis #60: Pull request #27 synchronize by hyperpolymath
47s proofs/lean4-l1-l2
proofs/lean4-l1-l2
47s
proofs(lean4): promote ET-2 to main — L1 conversion is decidable CodeQL Security Analysis #59: Pull request #27 synchronize by hyperpolymath
47s proofs/lean4-l1-l2
proofs/lean4-l1-l2
47s
proofs(lean4): promote ET-2 to main — L1 conversion is decidable CodeQL Security Analysis #58: Pull request #27 synchronize by hyperpolymath
40s proofs/lean4-l1-l2
proofs/lean4-l1-l2
40s