Skip to content

Actions: hyperpolymath/echo-types

Actions

Agda

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
agda.yml
887 workflow runs
887 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
docs(roadmap): note the doubled-ladder Gate 1 closure in Lane 3 Agda #712: Pull request #211 opened by hyperpolymath
3m 35s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
3m 35s
docs(claude): record doubled-ladder Gate 1 closure in current rung st… Agda #711: Commit a76d49a pushed by hyperpolymath
8m 54s main
main
8m 54s
docs(claude): record doubled-ladder Gate 1 closure in current rung state Agda #710: Pull request #210 opened by hyperpolymath
11m 52s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 52s
docs(ordinal): record the doubled-ladder Gate 1 closure in the obstru… Agda #709: Commit 85ce7ac pushed by hyperpolymath
2m 28s main
main
2m 28s
docs(ordinal): record the doubled-ladder Gate 1 closure in the obstruction note Agda #708: Pull request #209 opened by hyperpolymath
10m 29s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
10m 29s
proof(ordinal): doubled-ladder umbrella rank2-mono-<ᵇ² + wf-<ᵇ²… Agda #707: Commit e150b35 pushed by hyperpolymath
11m 35s main
main
11m 35s
proof(ordinal): doubled-ladder umbrella rank2-mono-<ᵇ² + wf-<ᵇ² (Gate 1 capstone) Agda #706: Pull request #208 opened by hyperpolymath
12m 0s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
12m 0s
proof(ordinal): doubled-ladder bplus-on-left rank2-mono primitives (+… Agda #705: Commit 675a215 pushed by hyperpolymath
10m 37s main
main
10m 37s
proof(ordinal): doubled-ladder bplus-on-left rank2-mono primitives (+Ω, +ψ, +1) — all 12 constructors Agda #704: Pull request #207 synchronize by hyperpolymath
11m 41s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 41s
proof(ordinal): doubled-ladder bplus-on-left rank2-mono primitives (+Ω, +ψ, +1) — all 12 constructors Agda #703: Pull request #207 opened by hyperpolymath
2m 57s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
2m 57s
proof(ordinal): doubled-ladder bzero- + plus-source rank2-mono primit… Agda #702: Commit 3890530 pushed by hyperpolymath
5m 31s main
main
5m 31s
proof(ordinal): doubled-ladder bzero- + plus-source rank2-mono primitives Agda #701: Pull request #206 opened by hyperpolymath
11m 37s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 37s
proof(ordinal): doubled-ladder atomic-boundary rank2-mono primitives … Agda #700: Commit c2c6a44 pushed by hyperpolymath
8m 28s main
main
8m 28s
proof(ordinal): doubled-ladder atomic-boundary rank2-mono primitives Agda #699: Pull request #205 opened by hyperpolymath
11m 22s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 22s
proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω clo… Agda #698: Commit ab73eb2 pushed by hyperpolymath
10m 36s main
main
10m 36s
proof(ordinal): WfAdm→rank2 scale-transfer bridge (Gate 1 equal-Ω closure) Agda #697: Pull request #204 opened by hyperpolymath
7m 44s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
7m 44s
proof(ordinal): ω-rank-pow reflects _<Ω_ (bridge bOmega-case inve… Agda #696: Commit d31f25e pushed by hyperpolymath
10m 50s main
main
10m 50s
proof(ordinal): ω-rank-pow reflects _<Ω_ (bridge bOmega-case inversion) Agda #695: Pull request #203 opened by hyperpolymath
12m 1s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
12m 1s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slic… Agda #694: Commit 11199e1 pushed by hyperpolymath
10m 24s main
main
10m 24s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2) Agda #693: Pull request #202 synchronize by hyperpolymath
11m 12s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 12s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2) Agda #692: Pull request #202 synchronize by hyperpolymath
10m 32s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
10m 32s
proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2) Agda #691: Pull request #202 opened by hyperpolymath
7m 39s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
7m 39s
feat(experimental): echo-additive R0+R1 — grade semiring + comparativ… Agda #690: Commit f7a965f pushed by hyperpolymath
11m 27s main
main
11m 27s
docs(claude): add 2026-06-13 deniability session arc to rung ledger Agda #689: Commit 09be594 pushed by hyperpolymath
11m 21s main
main
11m 21s
fix(ci): classify EchoDeniability in kernel-note and MAP.adoc Agda #688: Commit 0ca71a5 pushed by hyperpolymath
11m 11s main
main
11m 11s