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
Merge branch 'backup/feat-q2-1-nontruncatable-wip-2026-05-18' Agda #512: Commit 5aef71f pushed by hyperpolymath
5h 26m 2s main
main
5h 26m 2s
docs: add record of legacy retractions and spikes Agda #511: Commit 3345ff9 pushed by hyperpolymath
4h 32m 15s main
main
4h 32m 15s
F1 spike checkpoint: genuine graded comonad — feasibility POSITIVE, c… Agda #509: Commit 64bd354 pushed by hyperpolymath
5h 59m 8s f1-spike/graded-comonad-checkpoint
f1-spike/graded-comonad-checkpoint
5h 59m 8s
echo-types: add Nix flake devShell for use flake Agda #510: Commit 185eb74 pushed by hyperpolymath
6h 11m 13s reframe/retraction-2026-05-18
reframe/retraction-2026-05-18
6h 11m 13s
Merge branch 'chore/bookkeeping-and-axis8-rungc-closure' into main (r… Agda #508: Commit 91b2bf4 pushed by hyperpolymath
5m 48s main
main
5m 48s
Merge remote-tracking branch 'origin/theory/axis8-deferred-sweep' Agda #507: Commit 68de5dc pushed by hyperpolymath
1m 46s main
main
1m 46s
Merge branch 'theory/echo-approx-deeper-rung' into main (already inco… Agda #506: Commit f34b161 pushed by hyperpolymath
3m 41s main
main
3m 41s
Merge branch 'theory/echo-approx-composition-rung' into main (already… Agda #505: Commit 011a07e pushed by hyperpolymath
20s main
main
20s
Merge branch 'theory/echo-approx-balanced-tolerance' into main (alrea… Agda #504: Commit d0ba161 pushed by hyperpolymath
31s main
main
31s
Merge branch 'theory/axis8-access-modality' into main (already incorp… Agda #503: Commit 11fe081 pushed by hyperpolymath
1m 5s main
main
1m 5s
Merge branch 'theory/antiecho-thin-slice' into main (already incorpor… Agda #502: Commit a000225 pushed by hyperpolymath
10s main
main
10s
Merge branch 'lane3/janus-mirror-opkind-2026-05-20' into main (alread… Agda #501: Commit ec995bb pushed by hyperpolymath
31s main
main
31s
Merge branch 'hygiene/smoke-per-lemma-pins-echo-approx' into main (al… Agda #500: Commit 1348374 pushed by hyperpolymath
1m 5s main
main
1m 5s
Merge branch 'docs/rule-out-2cat-and-roadmap-correction' into main (r… Agda #499: Commit 6bf8bee pushed by hyperpolymath
42s main
main
42s
Merge branch 'theory/axis8-deferred-sweep' Agda #498: Commit bbc902a pushed by hyperpolymath
2m 42s main
main
2m 42s
bridges(tropical): citation-level correspondence appendix for EchoTro… Agda #497: Pull request #101 opened by hyperpolymath
6h 26m 28s lane4/tropical-correspondence-2026-05-20
lane4/tropical-correspondence-2026-05-20
6h 26m 28s
Merge branch 'docs/presentation-dependence-subtheory' into main (reso… Agda #496: Commit d0628a8 pushed by hyperpolymath
3m 30s main
main
3m 30s
harden(foundation P1): reproducible CI-via-flake exact pin (additive … Agda #495: Commit 8c9ddcb pushed by hyperpolymath
6h 25m 14s session-2026-05-20/buchholz-mutual-wf
session-2026-05-20/buchholz-mutual-wf
6h 25m 14s
harden(foundation P1): reproducible CI-via-flake exact pin (additive … Agda #494: Commit 8c9ddcb pushed by hyperpolymath
6h 27m 52s session-2026-05-20/buchholz-tower-stratify
session-2026-05-20/buchholz-tower-stratify
6h 27m 52s
Theory/axis8 deferred sweep Agda #493: Pull request #97 synchronize by hyperpolymath
6h 27m 35s theory/axis8-deferred-sweep
theory/axis8-deferred-sweep
6h 27m 35s
Antiecho partition dec Agda #492: Pull request #98 synchronize by hyperpolymath
6h 41m 31s antiecho-partition-dec
antiecho-partition-dec
6h 41m 31s
Antiecho partition dec Agda #491: Pull request #98 opened by hyperpolymath
8s antiecho-partition-dec
antiecho-partition-dec
8s
Theory/axis8 deferred sweep Agda #490: Pull request #97 opened by hyperpolymath
1m 29s theory/axis8-deferred-sweep
theory/axis8-deferred-sweep
1m 29s
docs: add theorem index, bridge status, and governance docs Agda #489: Commit c238e08 pushed by hyperpolymath
41m 36s main
main
41m 36s
backup: WIP snapshot of feat/q2-1-nontruncatable 2026-05-18 (#95) Agda #488: Commit b67c9ac pushed by hyperpolymath
1d 0h 0m 2s main
main
1d 0h 0m 2s
ProTip! You can narrow down the results and go further in time using created:<2026-05-20 or the other filters available.