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
feat(deniability): add EchoDeniability module and wiki page Agda #687: Commit cc06c45 pushed by hyperpolymath
10m 44s main
main
10m 44s
docs(licence): align prose SPDX headers to CC-BY-SA-4.0 (ShareAlike) Agda #686: Commit ac99259 pushed by hyperpolymath
11m 36s main
main
11m 36s
Merge branch 'docs/foundations-bridge': FOUNDATIONS_BRIDGE.md Agda #685: Commit 1cd486a pushed by hyperpolymath
12m 10s main
main
12m 10s
feat(foundation): export curated Echo.* foundation-contract surface Agda #684: Commit 70673fa pushed by hyperpolymath
10m 15s main
main
10m 15s
proof(ordinal): doubled-ladder rank foundation (equal-Ω cross-index f… Agda #683: Commit e293d06 pushed by hyperpolymath
11m 25s main
main
11m 25s
proof(ordinal): doubled-ladder rank foundation (equal-Ω cross-index fix, Slice 1) Agda #682: Pull request #201 synchronize by hyperpolymath
11m 43s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 43s
proof(ordinal): ψ-below-Ω boundary room lemma ω-rank-pow-⊕-below-succ Agda #681: Commit 2bedb85 pushed by hyperpolymath
10m 44s main
main
10m 44s
proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block) Agda #680: Pull request #200 synchronize by hyperpolymath
12m 20s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
12m 20s
proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block) Agda #679: Pull request #200 opened by hyperpolymath
52s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
52s
proof(ordinal): head-Ω-strict-or-eq — the joint-bplus umbrella case-s… Agda #678: Commit 558b8fa pushed by hyperpolymath
8m 33s main
main
8m 33s
proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split Agda #677: Pull request #199 synchronize by hyperpolymath
11m 50s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 50s
proof(ordinal): head-Ω-strict-or-eq — joint-bplus umbrella case-split Agda #676: Pull request #199 opened by hyperpolymath
3m 15s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
3m 15s
chore(governance): salvage net-new artifacts only — drop superseded s… Agda #675: Commit fd2a2f7 pushed by hyperpolymath
10m 59s main
main
10m 59s
Machine-readable governance scaffold + in-tree wiki (was 6a2-only skeleton) Agda #674: Pull request #195 synchronize by hyperpolymath
11m 26s claude/sleepy-carson-bREoV
claude/sleepy-carson-bREoV
11m 26s
proof(ordinal): general head-Ω monotonicity head-Ω-mono (Gate 1 bui… Agda #673: Commit 4f44c8f pushed by hyperpolymath
1m 42s main
main
1m 42s
proof(ordinal): general head-Ω monotonicity (Gate 1 building block) Agda #672: Pull request #198 opened by hyperpolymath
11m 47s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 47s
proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ Agda #671: Commit 30018b6 pushed by hyperpolymath
11m 23s main
main
11m 23s
proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ Agda #670: Pull request #196 synchronize by hyperpolymath
11m 13s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 13s
proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_ Agda #669: Pull request #196 opened by hyperpolymath
11m 10s claude/quirky-gauss-GaGZo
claude/quirky-gauss-GaGZo
11m 10s
docs: record echo-types typesystem-integration sweep (4 downstream co… Agda #668: Commit 48b9c11 pushed by hyperpolymath
11m 30s main
main
11m 30s
docs: record echo-types typesystem-integration sweep (4 downstream consumers) Agda #667: Pull request #194 opened by hyperpolymath
11m 40s claude/gifted-fermat-EmVcv
claude/gifted-fermat-EmVcv
11m 40s
fix(hypatia): farm token key → secret-name (scanner FP on 'secret = …') Agda #666: Commit 8e84f69 pushed by hyperpolymath
11m 13s main
main
11m 13s
docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating) Agda #665: Pull request #187 synchronize by hyperpolymath
12m 21s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
12m 21s
docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating) Agda #664: Pull request #187 opened by hyperpolymath
1m 34s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
1m 34s
fix(LICENSE): restore SPDX-License-Identifier header Agda #663: Commit e6db559 pushed by hyperpolymath
12m 24s main
main
12m 24s