Skip to content

Actions: hyperpolymath/ephapax

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
662 workflow runs
662 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
ci(codeql): cron weekly→monthly (cut 3, standards#233 Option B) (#262) CodeQL Security Analysis #662: Commit 223be67 pushed by hyperpolymath
3h 25m 55s main
main
3h 25m 55s
ci(codeql): cron weekly→monthly (cut 3, standards#233 Option B) CodeQL Security Analysis #661: Pull request #262 opened by hyperpolymath
3h 26m 29s ci/codeql-monthly-cron-288
ci/codeql-monthly-cron-288
3h 26m 29s
feat(L1+L2): Phase D slice 4 Phase 3b Stage 1b — closed-value substit… CodeQL Security Analysis #660: Commit 6ce16d1 pushed by hyperpolymath
4h 2m 47s main
main
4h 2m 47s
feat(codegen): surface &T / &mut T as SharedBorrow / ExclBorrow (clos… CodeQL Security Analysis #659: Commit 7f27aa8 pushed by hyperpolymath
2m 22s main
main
2m 22s
docs(ROADMAP): add Four-layer redesign section per PRESERVATION-DES… CodeQL Security Analysis #658: Commit ff1ab29 pushed by hyperpolymath
3m 48s main
main
3m 48s
docs(ephapax-linear): add L2 naming-note banner + rename to "Two L2 M… CodeQL Security Analysis #657: Commit a375986 pushed by hyperpolymath
4s main
main
4s
docs(spec): add four-layer intro paragraph per PRESERVATION-DESIGN §1… CodeQL Security Analysis #656: Commit b9e3d98 pushed by hyperpolymath
5s main
main
5s
docs(vision): add == The Dyad and the Layers per PRESERVATION-DESIG… CodeQL Security Analysis #655: Commit 26eb78a pushed by hyperpolymath
28s main
main
28s
docs(spec): add four-layer intro paragraph per PRESERVATION-DESIGN §12.6 CodeQL Security Analysis #654: Pull request #261 opened by hyperpolymath
12h 39m 23s docs/spec-four-layers-intro
docs/spec-four-layers-intro
12h 39m 23s
docs(ephapax-linear): add L2 naming-note banner + rename to "Two L2 Modalities" per PRESERVATION-DESIGN §12.7 CodeQL Security Analysis #653: Pull request #260 opened by hyperpolymath
12h 40m 9s docs/ephapax-linear-readme-l2-naming
docs/ephapax-linear-readme-l2-naming
12h 40m 9s
docs(ROADMAP): add Four-layer redesign section per PRESERVATION-DESIGN §12.5 CodeQL Security Analysis #652: Pull request #259 opened by hyperpolymath
12h 41m 7s docs/roadmap-four-layer-section
docs/roadmap-four-layer-section
12h 41m 7s
docs(EXPLAINME): add L1/L3/L4 claim sections per PRESERVATION-DESIGN … CodeQL Security Analysis #651: Commit e897844 pushed by hyperpolymath
6h 44m 22s main
main
6h 44m 22s
docs(README): add == The four layers section per PRESERVATION-DESIG… CodeQL Security Analysis #650: Commit 35d3b6f pushed by hyperpolymath
5s main
main
5s
docs(vision): add == The Dyad and the Layers per PRESERVATION-DESIGN §12.4 CodeQL Security Analysis #649: Pull request #258 opened by hyperpolymath
12h 42m 36s docs/vision-four-layers-section
docs/vision-four-layers-section
12h 42m 36s
docs(EXPLAINME): add L1/L3/L4 claim sections per PRESERVATION-DESIGN §12.3 CodeQL Security Analysis #648: Pull request #257 opened by hyperpolymath
12h 48m 33s docs/explainme-four-layers-claims
docs/explainme-four-layers-claims
12h 48m 33s
docs(README): add == The four layers section per PRESERVATION-DESIGN §12.2 + L4 truth fix CodeQL Security Analysis #647: Pull request #256 opened by hyperpolymath
12h 48m 52s docs/readme-four-layers-section
docs/readme-four-layers-section
12h 48m 52s
feat(coq-build): always-on aggregator gate (closes #244 path-filter b… CodeQL Security Analysis #646: Commit abc58b1 pushed by hyperpolymath
30m 55s main
main
30m 55s
feat(codegen): surface &T / &mut T as SharedBorrow / ExclBorrow (closes #221) CodeQL Security Analysis #645: Pull request #255 opened by hyperpolymath
12h 51m 48s feat/codegen-borrow-ownership-kind
feat/codegen-borrow-ownership-kind
12h 51m 48s
feat(coq-build): always-on aggregator gate (closes #244 path-filter blocker) CodeQL Security Analysis #644: Pull request #254 opened by hyperpolymath
13h 54m 37s feat/coq-build-aggregator-gate
feat/coq-build-aggregator-gate
13h 54m 37s
feat(L1+L2): Phase D slice 4 Phase 3b Stage 1b — closed-value substitution + preservation_l2 β closure (closes #249) CodeQL Security Analysis #643: Pull request #253 synchronize by hyperpolymath
14h 36m 24s proof-debt/phase-3b-stage-1b-tfuneff-subst
proof-debt/phase-3b-stage-1b-tfuneff-subst
14h 36m 24s
feat(L1): Phase D slice 4 Phase 3b Stage 1a — tfuneff_lambda_free + C… CodeQL Security Analysis #642: Commit 7c4c3f5 pushed by hyperpolymath
5h 23m 39s main
main
5h 23m 39s
cleanup(codegen): remove dead Codegen fields region_stack + bump_ptr … CodeQL Security Analysis #641: Commit f176f2e pushed by hyperpolymath
23m 27s main
main
23m 27s
feat(L1): Phase D slice 4 Phase 3b Stage 1a — tfuneff_lambda_free + Counterexample_L2_nested CodeQL Security Analysis #640: Pull request #252 opened by hyperpolymath
11h 39m 36s proof-debt/phase-3b-stage-1-tfuneff-leaf
proof-debt/phase-3b-stage-1-tfuneff-leaf
11h 39m 36s
cleanup(codegen): remove dead Codegen fields region_stack + bump_ptr (+ orphaned RegionInfo) CodeQL Security Analysis #639: Pull request #250 opened by hyperpolymath
11h 21m 4s cleanup-codegen-dead-fields
cleanup-codegen-dead-fields
11h 21m 4s
ci: concurrency + timeout-minutes on 3 queue-saturating workflows (#248) CodeQL Security Analysis #638: Commit 538957c pushed by hyperpolymath
15m 7s main
main
15m 7s