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: record Valence Shell / Ochránce as exploratory downstream consumer Agda #637: Pull request #177 opened by hyperpolymath
12m 10s claude/kind-darwin-r34Ql
claude/kind-darwin-r34Ql
12m 10s
docs(changelog): add 2026-05-30 — Slice 3+4 Route A arc + bridge + pr… Agda #636: Commit 0e41e98 pushed by hyperpolymath
3h 57m 49s main
main
3h 57m 49s
docs(changelog): add 2026-05-30 — Slice 3+4 Route A arc + bridge + proof-debt Agda #635: Pull request #173 opened by hyperpolymath
2h 25m 57s docs/changelog-2026-05-30
docs/changelog-2026-05-30
2h 25m 57s
docs: enumerate exploratory truncation postulates in docs/proof-debt.… Agda #634: Commit 360ca7c pushed by hyperpolymath
59m 46s main
main
59m 46s
proof: WfCNF wrap of the RankMonoUnion umbrella (#169) Agda #633: Commit ed347df pushed by hyperpolymath
2m 8s main
main
2m 8s
docs: stale-claim sweep after Slice 3+4 Route A 6-PR arc (#165-#170) … Agda #632: Commit 6e4a67a pushed by hyperpolymath
5m 58s main
main
5m 58s
docs: enumerate exploratory truncation postulates in docs/proof-debt.md Agda #631: Pull request #172 opened by hyperpolymath
23m 30s docs/proof-debt
docs/proof-debt
23m 30s
proof: WfCNF wrap of the RankMonoUnion umbrella Agda #630: Pull request #169 synchronize by hyperpolymath
20m 16s session/rank-mono-union-wfcnf
session/rank-mono-union-wfcnf
20m 16s
docs: stale-claim sweep after Slice 3+4 Route A 6-PR arc (#165-#170) Agda #629: Pull request #171 opened by hyperpolymath
15m 35s session/slice34-arc-doc-sweep
session/slice34-arc-doc-sweep
15m 35s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport (#170) Agda #628: Commit 3bb92f4 pushed by hyperpolymath
15m 25s main
main
15m 25s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport Agda #627: Pull request #170 opened by hyperpolymath
15m 29s session/rank-mono-union-wf
session/rank-mono-union-wf
15m 29s
proof(architecture): RankMonoUnion umbrella over source-rule extensio… Agda #626: Commit 8eb08de pushed by hyperpolymath
16m 35s main
main
16m 35s
proof: WfCNF wrap of the RankMonoUnion umbrella Agda #625: Pull request #169 opened by hyperpolymath
20m 9s session/rank-mono-union-wfcnf
session/rank-mono-union-wfcnf
20m 9s
proof(architecture): RankMonoUnion umbrella over source-rule extensions Agda #624: Pull request #168 opened by hyperpolymath
12m 4s session/rank-mono-union-umbrella
session/rank-mono-union-umbrella
12m 4s
proof(Path-3 prototype): same-left joint-bplus rank-mono extension (#… Agda #623: Commit 390cebb pushed by hyperpolymath
11m 47s main
main
11m 47s
proof(Path-3 prototype): same-left joint-bplus rank-mono extension Agda #622: Pull request #167 opened by hyperpolymath
11m 36s session/path-3-same-left-prototype
session/path-3-same-left-prototype
11m 36s
proof(Slice 3+4 Route A): (c) trichotomy + consumer-side first-eq der… Agda #621: Commit 930000b pushed by hyperpolymath
11m 45s main
main
11m 45s
proof(Slice 3+4 Route A): (c) trichotomy + consumer-side first-eq derivation Agda #620: Pull request #166 opened by hyperpolymath
11m 50s session/slice-3-route-a-trichotomy
session/slice-3-route-a-trichotomy
11m 50s
proof(Slice 3+4 Route A): (b) lex-first primitive + bpsi sub-case dis… Agda #619: Commit f21c62f pushed by hyperpolymath
10m 23s main
main
10m 23s
proof(Slice 3+4 Route A): (b) lex-first primitive + bpsi sub-case discharge Agda #618: Pull request #165 opened by hyperpolymath
13m 12s session/slice-3-route-a-strict-first
session/slice-3-route-a-strict-first
13m 12s
docs: ephapax bridge adjacency cleanup (3-file follow-up to #161 + #1… Agda #617: Commit 1605fb2 pushed by hyperpolymath
12m 13s main
main
12m 13s
docs: ephapax bridge adjacency cleanup (3-file follow-up to #161 + #162) Agda #616: Pull request #163 opened by hyperpolymath
11m 55s session/ephapax-adjacency-cleanup
session/ephapax-adjacency-cleanup
11m 55s
docs+proofs: EchoEphapaxBridge.agda NARROW stub (closes #126) (#162) Agda #615: Commit 70b03e8 pushed by hyperpolymath
6m 0s main
main
6m 0s
docs+proofs: EchoEphapaxBridge.agda NARROW stub (closes #126) Agda #614: Pull request #162 synchronize by hyperpolymath
11m 19s session/ephapax-bridge-stub
session/ephapax-bridge-stub
11m 19s
docs: ephapax bridge package (#125 + #127) + EchoTypes.jl v0.2.0 surf… Agda #613: Commit 3a38c6c pushed by hyperpolymath
12m 22s main
main
12m 22s
ProTip! You can narrow down the results and go further in time using created:<2026-05-30 or the other filters available.