Skip to content

Actions: hyperpolymath/ephapax

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
760 workflow runs
760 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
build(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group CodeQL Security Analysis #760: Pull request #306 opened by dependabot Bot
55s dependabot/github_actions/actions-2217aebe03
dependabot/github_actions/actions-2217aebe03
55s
docs(L1): record superseded route-C migration plan CodeQL Security Analysis #759: Commit cacfec1 pushed by hyperpolymath
52s main
main
52s
proofs(L1): close ADMIT 1 (region_shrink) via multiset-perm generalisation CodeQL Security Analysis #758: Pull request #305 opened by hyperpolymath
1m 1s proofs/l1-region-countmap-setoid
proofs/l1-region-countmap-setoid
1m 1s
docs: AFFIRMATION.adoc (ground-truthed 2026-06-16) + Idris // → -- bu… CodeQL Security Analysis #757: Commit e7cbf34 pushed by hyperpolymath
1m 2s main
main
1m 2s
docs: AFFIRMATION.adoc (ground-truthed 2026-06-16) + Idris // → -- build fix CodeQL Security Analysis #756: Pull request #304 opened by hyperpolymath
1m 6s docs/affirmation-2026-06-16
docs/affirmation-2026-06-16
1m 6s
ci: split status-gate (fast core / slow-cancellable tests) + fix rust… CodeQL Security Analysis #755: Commit 818492f pushed by hyperpolymath
1m 13s main
main
1m 13s
ci: split status-gate (fast core / slow-cancellable tests) + fix rust-ci toolchain CodeQL Security Analysis #754: Pull request #303 opened by hyperpolymath
1m 7s ci/status-gate-split-and-rustci-fix
ci/status-gate-split-and-rustci-fix
1m 7s
fix(ci): status-gate — pass explicit toolchain: stable to rust-toolchain CodeQL Security Analysis #753: Commit 2275698 pushed by hyperpolymath
1m 12s main
main
1m 12s
fix(status-gate): correct stale all-target test count 467 → 486 CodeQL Security Analysis #752: Pull request #302 synchronize by hyperpolymath
1m 3s fix/test-count-2026-06-16
fix/test-count-2026-06-16
1m 3s
fix(status-gate): correct stale all-target test count 467 → 486 CodeQL Security Analysis #751: Pull request #302 opened by hyperpolymath
1m 1s fix/test-count-2026-06-16
fix/test-count-2026-06-16
1m 1s
docs(formal): L1 closure research — tropical carrier refactor (clean … CodeQL Security Analysis #750: Commit 9b3563e pushed by hyperpolymath
1m 3s main
main
1m 3s
fix(ci): repair + wire status-gate; require coq-build-gate (#301) CodeQL Security Analysis #749: Commit 18a2a69 pushed by hyperpolymath
1m 2s main
main
1m 2s
docs(proof): PROOF-NEEDS §5 — ground-truthed L1 status + closure plan… CodeQL Security Analysis #748: Commit e879fe1 pushed by hyperpolymath
1m 6s main
main
1m 6s
fix(ci): repair + wire status-gate; require coq-build-gate CodeQL Security Analysis #747: Pull request #301 opened by hyperpolymath
1m 0s fix/proof-gates-2026-06-16
fix/proof-gates-2026-06-16
1m 0s
docs(proof): PROOF-NEEDS §5 — ground-truthed L1 status + closure plan + foundation audit CodeQL Security Analysis #746: Pull request #300 synchronize by hyperpolymath
1m 2s docs/proof-status-2026-06-16
docs/proof-status-2026-06-16
1m 2s
docs(proof): PROOF-NEEDS §5 — ground-truthed L1 status + closure plan + foundation audit CodeQL Security Analysis #745: Pull request #300 opened by hyperpolymath
59s docs/proof-status-2026-06-16
docs/proof-status-2026-06-16
59s
docs(formal): L1 closure research — tropical carrier refactor + eliminator-fork (choreographic) analysis CodeQL Security Analysis #744: Pull request #299 opened by hyperpolymath
1m 6s docs/l1-closure-research
docs/l1-closure-research
1m 6s
docs(test): test & bench coverage strategy (levels × aspects + intero… CodeQL Security Analysis #743: Commit 5ed0141 pushed by hyperpolymath
1m 16s main
main
1m 16s
docs(test): test & bench coverage strategy matrix CodeQL Security Analysis #742: Pull request #298 opened by hyperpolymath
1m 2s docs/test-bench-strategy
docs/test-bench-strategy
1m 2s
fix(coproc): decouple from Axiom.jl (own seam) + §4.8 path-3-disprove… CodeQL Security Analysis #741: Commit e9c05aa pushed by hyperpolymath
1m 9s main
main
1m 9s
fix(coproc): decouple from Axiom.jl (own seam) + §4.8 path-3-disproved doc CodeQL Security Analysis #740: Pull request #297 opened by hyperpolymath
57s fix/coproc-decouple-axiom
fix/coproc-decouple-axiom
57s
feat(coproc): thin typed FFI dispatch boundary to Axiom.jl's coproces… CodeQL Security Analysis #739: Commit 40b71de pushed by hyperpolymath
1m 0s main
main
1m 0s
Toolchain closure: wasm-validate gate, codegen fix, reactive/meta/coproc foundations, proof escalation CodeQL Security Analysis #738: Pull request #296 opened by hyperpolymath
57s feat/ephapax-toolchain-closure
feat/ephapax-toolchain-closure
57s
Delete .machine_readable/CLADE.a2ml CodeQL Security Analysis #737: Commit 3a5aced pushed by hyperpolymath
55s main
main
55s
Delete contractiles directory CodeQL Security Analysis #736: Commit d16dc94 pushed by hyperpolymath
1m 7s main
main
1m 7s