Skip to content

Actions: hyperpolymath/echo-types

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
284 workflow runs
284 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
Ordinal/Buchholz: checked refutation of rank-pow monotonicity at the … CodeQL Security Analysis #109: Commit fe18943 pushed by hyperpolymath
54s main
main
54s
Ordinal/Buchholz: checked refutation — rank-pow reverses a <ᵇ step at the ψ/Ω boundary CodeQL Security Analysis #108: Pull request #224 opened by hyperpolymath
52s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
52s
ci: SessionStart hook to auto-provision Agda toolchain on the web CodeQL Security Analysis #107: Commit 137e3ad pushed by hyperpolymath
48s main
main
48s
ci: SessionStart hook to auto-provision Agda toolchain on the web CodeQL Security Analysis #106: Pull request #223 opened by hyperpolymath
53s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
53s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT CodeQL Security Analysis #105: Commit 9edb6e3 pushed by hyperpolymath
1m 22s main
main
1m 22s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT CodeQL Security Analysis #104: Pull request #222 synchronize by hyperpolymath
1m 29s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
1m 29s
build: idempotent Agda toolchain provisioner (scripts/provision-agda.sh) CodeQL Security Analysis #103: Pull request #221 synchronize by hyperpolymath
1m 0s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
1m 0s
build: add idempotent scripts/provision-agda.sh toolchain provisioner CodeQL Security Analysis #102: Commit 7c54e0b pushed by hyperpolymath
42s main
main
42s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT CodeQL Security Analysis #101: Pull request #222 opened by hyperpolymath
44s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
44s
build: idempotent Agda toolchain provisioner (scripts/provision-agda.sh) CodeQL Security Analysis #100: Pull request #221 opened by hyperpolymath
42s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
42s
feat(experimental): echo-additive R4 — F_r ⊣ U_r adjunction discrimin… CodeQL Security Analysis #99: Commit 94ccebc pushed by hyperpolymath
50s main
main
50s
[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol CodeQL Security Analysis #98: Pull request #220 synchronize by hyperpolymath
57s experimental/echo-additive-r2-r3
experimental/echo-additive-r2-r3
57s
[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol CodeQL Security Analysis #97: Pull request #220 synchronize by hyperpolymath
47s experimental/echo-additive-r2-r3
experimental/echo-additive-r2-r3
47s
[experimental, GATED — do not merge] echo-additive R2/R3: comparative monad/comonad variance protocol CodeQL Security Analysis #96: Pull request #220 opened by hyperpolymath
42s experimental/echo-additive-r2-r3
experimental/echo-additive-r2-r3
42s
CodeQL Security Analysis CodeQL Security Analysis #95: Scheduled
51s main
main
51s
fix(governance): document Fidelity postulates for the Trusted-base re… CodeQL Security Analysis #94: Commit 44de47e pushed by hyperpolymath
46s main
main
46s
fix(governance): document Fidelity postulates for the Trusted-base reduction policy CodeQL Security Analysis #93: Pull request #219 opened by hyperpolymath
47s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
47s
proof(ordinal): Fidelity scaffold — typed shape of BH order-type fide… CodeQL Security Analysis #92: Commit 46ef277 pushed by hyperpolymath
42s main
main
42s
proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates CodeQL Security Analysis #91: Pull request #218 opened by hyperpolymath
53s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
53s
ci: set CodeQL language matrix to actions (no JS/TS source in repo) CodeQL Security Analysis #90: Commit b7b1990 pushed by hyperpolymath
47s main
main
47s
ci: CodeQL language matrix -> actions CodeQL Security Analysis #89: Pull request #216 synchronize by hyperpolymath
58s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
58s
chore(debt): record the outstanding-proofs inventory at 2026-06-14 CodeQL Security Analysis #88: Commit a7c006f pushed by hyperpolymath
1m 13s main
main
1m 13s
chore(debt): record the outstanding-proofs inventory at 2026-06-14 CodeQL Security Analysis #87: Pull request #217 opened by hyperpolymath
1m 5s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
1m 5s
ci: CodeQL language matrix -> actions CodeQL Security Analysis #86: Pull request #216 opened by hyperpolymath
47s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
47s
docs(pillar-e): write the ordinal appendix at the WF milestone; name … CodeQL Security Analysis #85: Commit 95e7f18 pushed by hyperpolymath
1m 12s main
main
1m 12s