Skip to content

Actions: hyperpolymath/ephapax

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
279 workflow runs
279 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
Standardize workspace: Justfile migration and A2ML directive cleanup CodeQL Security Analysis #279: Commit c7aa57b pushed by hyperpolymath
5m 16s main
main
5m 16s
Docs/vision relocation 2026 04 17 (#27) CodeQL Security Analysis #278: Commit ef8ed9d pushed by hyperpolymath
1m 16s main
main
1m 16s
Docs/vision relocation 2026 04 17 CodeQL Security Analysis #277: Pull request #27 synchronize by hyperpolymath
1m 15s docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
1m 15s
Docs/vision relocation 2026 04 17 CodeQL Security Analysis #276: Pull request #27 opened by hyperpolymath
1m 14s docs/vision-relocation-2026-04-17
docs/vision-relocation-2026-04-17
1m 14s
docs(governance): CRG v2.0 STRICT audit — C (declared) -> D (honest) CodeQL Security Analysis #275: Commit c84e364 pushed by hyperpolymath
1m 16s main
main
1m 16s
chore: estate-wide chore + stale-path sweep (2026-04-17) CodeQL Security Analysis #274: Commit c86aa0d pushed by hyperpolymath
1h 53m 38s main
main
1h 53m 38s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #273: Commit 95dcd66 pushed by hyperpolymath
20m 38s main
main
20m 38s
Merge remote-tracking branch 'origin/main' CodeQL Security Analysis #272: Commit f9742d9 pushed by hyperpolymath
1m 12s main
main
1m 12s
build(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across … CodeQL Security Analysis #271: Commit a041434 pushed by hyperpolymath
1m 22s main
main
1m 22s
build(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across 1 directory CodeQL Security Analysis #270: Pull request #26 opened by dependabot bot
2m 47s dependabot/cargo/cargo-2cb957d483
dependabot/cargo/cargo-2cb957d483
2m 47s
CodeQL Security Analysis CodeQL Security Analysis #269: Scheduled
1m 20s main
main
1m 20s
feat(formal): region proof tactics + CI workflow + 6a2 A2ML enrichment CodeQL Security Analysis #268: Commit c618e59 pushed by hyperpolymath
6m 49s main
main
6m 49s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD CodeQL Security Analysis #267: Commit bd488ad pushed by hyperpolymath
1m 39s main
main
1m 39s
feat(formal): 63 Qed / 1 Admitted — close T_Region_Active extension CodeQL Security Analysis #266: Commit 206b098 pushed by hyperpolymath
1m 5s main
main
1m 5s
fix(papers): resolve LaTeX compilation errors and overflow warnings CodeQL Security Analysis #265: Commit 4883e22 pushed by hyperpolymath
1m 10s main
main
1m 10s
chore(a2ml-migration): remove legacy .scm checkpoint files CodeQL Security Analysis #264: Commit 53a47a0 pushed by hyperpolymath
1m 15s main
main
1m 15s
Add nextgen-typing pipeline links in ECOSYSTEM CodeQL Security Analysis #263: Commit 6bc8a98 pushed by hyperpolymath
1m 29s main
main
1m 29s
proof(formal): close typing_ctx_transfer — Qed; document preservation… CodeQL Security Analysis #262: Commit 501077c pushed by hyperpolymath
1m 6s main
main
1m 6s
chore(state): update STATE.a2ml — proofs fully closed (67 Qed, 0 Admi… CodeQL Security Analysis #261: Commit edabd85 pushed by hyperpolymath
1m 12s main
main
1m 12s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #260: Commit 3a96fa5 pushed by hyperpolymath
1h 44m 15s main
main
1h 44m 15s
build(deps): bump wasmtime from 36.0.6 to 36.0.7 in the cargo group a… CodeQL Security Analysis #259: Commit 0096117 pushed by hyperpolymath
1m 12s main
main
1m 12s
build(deps): bump wasmtime from 36.0.6 to 36.0.7 in the cargo group across 1 directory CodeQL Security Analysis #258: Pull request #25 synchronize by hyperpolymath
1m 13s dependabot/cargo/cargo-635d3f77ab
dependabot/cargo/cargo-635d3f77ab
1m 13s
chore: automated sync of local changes CodeQL Security Analysis #257: Commit e1492ad pushed by hyperpolymath
1m 14s main
main
1m 14s
build(deps): bump wasmtime from 36.0.6 to 36.0.7 in the cargo group across 1 directory CodeQL Security Analysis #256: Pull request #25 opened by dependabot bot
1m 0s dependabot/cargo/cargo-635d3f77ab
dependabot/cargo/cargo-635d3f77ab
1m 0s
chore: add aqueduct.eph for lithoglyph-verisim bridge CodeQL Security Analysis #255: Commit d78cef2 pushed by hyperpolymath
1m 19s main
main
1m 19s