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
fix(ci): classify EchoAggregation in kernel-note and MAP.adoc Agda #762: Commit 0a86e18 pushed by hyperpolymath
13m 8s main
main
13m 8s
feat(aggregation): aggregation as Echo, non-disaggregability as no-section Agda #761: Pull request #230 synchronize by hyperpolymath
12m 8s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
12m 8s
feat(aggregation): aggregation as Echo, non-disaggregability as no-section Agda #760: Pull request #230 synchronize by hyperpolymath
12m 46s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
12m 46s
feat(aggregation): aggregation as Echo, non-disaggregability as no-section Agda #759: Pull request #230 opened by hyperpolymath
2m 37s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
2m 37s
docs(affirmation): AFFIRMATION + what-it-is (owner-granted SPDX excep… Agda #758: Commit 124fb87 pushed by hyperpolymath
11m 53s main
main
11m 53s
docs/affirmation 2026 06 16 Agda #757: Pull request #229 synchronize by hyperpolymath
12m 39s docs/affirmation-2026-06-16
docs/affirmation-2026-06-16
12m 39s
docs/affirmation 2026 06 16 Agda #756: Pull request #229 opened by hyperpolymath
3m 18s docs/affirmation-2026-06-16
docs/affirmation-2026-06-16
3m 18s
docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO… Agda #755: Commit 84daa83 pushed by hyperpolymath
11m 3s main
main
11m 3s
docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO, wired-layer only) Agda #754: Pull request #228 opened by hyperpolymath
13m 22s docs/proof-trust-audit-2026-06-16
docs/proof-trust-audit-2026-06-16
13m 22s
docs(echo): classify EchoDisplayed in kernel-note + MAP (kernel-guard… Agda #753: Commit 1a2c52f pushed by hyperpolymath
12m 18s main
main
12m 18s
feat(echo): Displayed/DispHom fibration packaging of the categorical base Agda #752: Pull request #227 synchronize by hyperpolymath
9m 32s feat/echo-displayed-packaging
feat/echo-displayed-packaging
9m 32s
feat(echo): Displayed/DispHom fibration packaging of the categorical base Agda #751: Pull request #227 synchronize by hyperpolymath
12m 28s feat/echo-displayed-packaging
feat/echo-displayed-packaging
12m 28s
feat(echo): Displayed/DispHom fibration packaging of the categorical base Agda #750: Pull request #227 opened by hyperpolymath
11m 2s feat/echo-displayed-packaging
feat/echo-displayed-packaging
11m 2s
docs: standardize attribution email to j.d.a.jewell@open.ac.uk (#226) Agda #749: Commit d4048b2 pushed by hyperpolymath
14m 17s main
main
14m 17s
docs: standardize attribution email to j.d.a.jewell@open.ac.uk Agda #748: Pull request #226 opened by hyperpolymath
12m 10s claude/practical-newton-9eFe2
claude/practical-newton-9eFe2
12m 10s
proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH tar… Agda #747: Commit 1fa8129 pushed by hyperpolymath
1m 28s main
main
1m 28s
proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel Agda #746: Pull request #225 opened by hyperpolymath
12m 31s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
12m 31s
Ordinal/Buchholz: checked refutation of rank-pow monotonicity at the … Agda #745: Commit fe18943 pushed by hyperpolymath
14m 23s main
main
14m 23s
Ordinal/Buchholz: checked refutation — rank-pow reverses a <ᵇ step at the ψ/Ω boundary Agda #744: Pull request #224 opened by hyperpolymath
13m 10s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
13m 10s
ci: SessionStart hook to auto-provision Agda toolchain on the web Agda #743: Commit 137e3ad pushed by hyperpolymath
11m 58s main
main
11m 58s
ci: SessionStart hook to auto-provision Agda toolchain on the web Agda #742: Pull request #223 opened by hyperpolymath
12m 14s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
12m 14s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT Agda #741: Commit 9edb6e3 pushed by hyperpolymath
13m 25s main
main
13m 25s
proof(cubical): discharge (epi,mono) truncation axiom via real ∥_∥ HIT Agda #740: Pull request #222 synchronize by hyperpolymath
11m 34s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
11m 34s
build: add idempotent scripts/provision-agda.sh toolchain provisioner Agda #739: Commit 7c54e0b pushed by hyperpolymath
1m 28s main
main
1m 28s
build: idempotent Agda toolchain provisioner (scripts/provision-agda.sh) Agda #738: Pull request #221 synchronize by hyperpolymath
12m 31s claude/ecstatic-wright-OBEvx
claude/ecstatic-wright-OBEvx
12m 31s