Skip to content

Actions: hyperpolymath/ephapax

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
862 workflow runs
862 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
proof(L1): choreographic experiment 2 — non-collapsed trace model clo… CodeQL Security Analysis #812: Commit 8018240 pushed by hyperpolymath
1m 24s main
main
1m 24s
proof(L1): choreographic experiment 2 — non-collapsed trace model closes the congruence fork in-model CodeQL Security Analysis #811: Pull request #332 opened by hyperpolymath
56s claude/v2-grammar-proofs-audit-5lubzc
claude/v2-grammar-proofs-audit-5lubzc
56s
feat(v2): qualified module-member access M.member (G6 keystone) (#331) CodeQL Security Analysis #810: Commit 02bf873 pushed by hyperpolymath
52s main
main
52s
feat(v2): qualified module-member access M.member (G6 keystone) CodeQL Security Analysis #809: Pull request #331 synchronize by hyperpolymath
1m 29s claude/g6-module-imports
claude/g6-module-imports
1m 29s
feat(v2): qualified module-member access M.member (G6 keystone) CodeQL Security Analysis #808: Pull request #331 opened by hyperpolymath
53s claude/g6-module-imports
claude/g6-module-imports
53s
proof(L1): reduce step_pop's 11 eliminator admits to 1 via step_R_cha… CodeQL Security Analysis #807: Commit 72a0f36 pushed by hyperpolymath
53s main
main
53s
proof(L1): reduce step_pop's 11 eliminator admits to 1 via step_R_change_shape (§6 experiment) CodeQL Security Analysis #806: Pull request #330 synchronize by hyperpolymath
1m 6s claude/l1-step-pop-reduction
claude/l1-step-pop-reduction
1m 6s
proof(L1): reduce step_pop's 11 eliminator admits to 1 via step_R_change_shape (§6 experiment) CodeQL Security Analysis #805: Pull request #330 opened by hyperpolymath
53s claude/l1-step-pop-reduction
claude/l1-step-pop-reduction
53s
chore(ci): clear the two in-repo governance false-positives (LICENSE … CodeQL Security Analysis #804: Commit bb83b7e pushed by hyperpolymath
56s main
main
56s
chore(ci): clear the two in-repo governance false-positives (LICENSE SPDX + trusted-base) CodeQL Security Analysis #803: Pull request #329 synchronize by hyperpolymath
1m 18s claude/governance-ci-falsepos
claude/governance-ci-falsepos
1m 18s
chore(ci): clear the two in-repo governance false-positives (LICENSE SPDX + trusted-base) CodeQL Security Analysis #802: Pull request #329 opened by hyperpolymath
52s claude/governance-ci-falsepos
claude/governance-ci-falsepos
52s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#328) CodeQL Security Analysis #801: Commit e81c9f8 pushed by hyperpolymath
43m 42s main
main
43m 42s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #800: Pull request #328 opened by hyperpolymath
47m 50s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
47m 50s
brand: add Canva symbolic hero + feature on README (#326) CodeQL Security Analysis #799: Commit 6d27604 pushed by hyperpolymath
55s main
main
55s
brand: add Canva symbolic hero + feature on README CodeQL Security Analysis #798: Pull request #326 opened by hyperpolymath
56s claude/ephapax-canva-hero-fzopj5
claude/ephapax-canva-hero-fzopj5
56s
Brand pack: amber "exactly-once" mark, social-preview, Marr/Sandler d… CodeQL Security Analysis #797: Commit 5498306 pushed by hyperpolymath
54s main
main
54s
Brand pack: amber "exactly-once" mark, social-preview, Marr/Sandler diagrams CodeQL Security Analysis #796: Pull request #325 opened by hyperpolymath
1m 52s claude/issue-resolution-toolchain-fzopj5
claude/issue-resolution-toolchain-fzopj5
1m 52s
build(bootstrap): make the SessionStart prover hook synchronous (#324) CodeQL Security Analysis #795: Commit 28c0e94 pushed by hyperpolymath
55s main
main
55s
build(bootstrap): make the SessionStart prover hook synchronous CodeQL Security Analysis #794: Pull request #324 opened by hyperpolymath
56s claude/sync-session-hook
claude/sync-session-hook
56s
build(bootstrap): iser-style SessionStart prover bootstrap (Coq/Idris… CodeQL Security Analysis #793: Commit 04d3c3e pushed by hyperpolymath
1m 53s main
main
1m 53s
build(bootstrap): iser-style SessionStart prover bootstrap (Coq/Idris2/Zig) CodeQL Security Analysis #792: Pull request #323 synchronize by hyperpolymath
3m 5s claude/prover-bootstrap-iser
claude/prover-bootstrap-iser
3m 5s
build(bootstrap): iser-style SessionStart prover bootstrap (Coq/Idris2/Zig) CodeQL Security Analysis #791: Pull request #323 opened by hyperpolymath
1m 0s claude/prover-bootstrap-iser
claude/prover-bootstrap-iser
1m 0s
proof(L1): close ADMIT 2 — remove false region_liveness lemma (4→3 ad… CodeQL Security Analysis #790: Commit 47c8092 pushed by hyperpolymath
3m 37s main
main
3m 37s
proof(L1): close ADMIT 2 — remove false region_liveness lemma (4→3 admits) + v2 proof audit CodeQL Security Analysis #789: Pull request #322 opened by hyperpolymath
52s claude/v2-grammar-proofs-audit-5lubzc
claude/v2-grammar-proofs-audit-5lubzc
52s
build(deps): bump dawidd6/action-send-mail from 6e502825a508b867ab295… CodeQL Security Analysis #788: Commit 2b6cab7 pushed by hyperpolymath
1m 2s main
main
1m 2s