Skip to content

Actions: hyperpolymath/echo-types

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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' .github/workflows/governance.yml #170: Commit 5aef71f pushed by hyperpolymath
5h 16m 4s main
main
5h 16m 4s
Merge branch 'backup/feat-q2-1-nontruncatable-wip-2026-05-18' Hypatia Security Scan #192: Commit 5aef71f pushed by hyperpolymath
5h 20m 44s main
main
5h 20m 44s
Merge branch 'backup/feat-q2-1-nontruncatable-wip-2026-05-18' .github/workflows/scorecard.yml #106: Commit 5aef71f pushed by hyperpolymath
5h 20m 26s main
main
5h 20m 26s
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
Merge branch 'backup/feat-q2-1-nontruncatable-wip-2026-05-18' .github/workflows/mirror.yml #85: Commit 5aef71f pushed by hyperpolymath
2s main
main
2s
docs: add record of legacy retractions and spikes .github/workflows/governance.yml #169: Commit 3345ff9 pushed by hyperpolymath
4h 32m 14s main
main
4h 32m 14s
docs: add record of legacy retractions and spikes .github/workflows/mirror.yml #84: Commit 3345ff9 pushed by hyperpolymath
1s main
main
1s
docs: add record of legacy retractions and spikes Agda #511: Commit 3345ff9 pushed by hyperpolymath
4h 32m 15s main
main
4h 32m 15s
docs: add record of legacy retractions and spikes Hypatia Security Scan #191: Commit 3345ff9 pushed by hyperpolymath
4h 32m 15s main
main
4h 32m 15s
docs: add record of legacy retractions and spikes .github/workflows/scorecard.yml #105: 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… .github/workflows/governance.yml #168: Commit 91b2bf4 pushed by hyperpolymath
5m 49s main
main
5m 49s
Merge branch 'chore/bookkeeping-and-axis8-rungc-closure' into main (r… .github/workflows/mirror.yml #83: Commit 91b2bf4 pushed by hyperpolymath
1s main
main
1s
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 branch 'chore/bookkeeping-and-axis8-rungc-closure' into main (r… Hypatia Security Scan #190: Commit 91b2bf4 pushed by hyperpolymath
5m 48s main
main
5m 48s
Merge branch 'chore/bookkeeping-and-axis8-rungc-closure' into main (r… .github/workflows/scorecard.yml #104: Commit 91b2bf4 pushed by hyperpolymath
5m 47s main
main
5m 47s
Merge remote-tracking branch 'origin/theory/axis8-deferred-sweep' .github/workflows/governance.yml #167: Commit 68de5dc pushed by hyperpolymath
1m 46s main
main
1m 46s
Merge remote-tracking branch 'origin/theory/axis8-deferred-sweep' .github/workflows/mirror.yml #82: Commit 68de5dc pushed by hyperpolymath
1s main
main
1s
Merge remote-tracking branch 'origin/theory/axis8-deferred-sweep' Hypatia Security Scan #189: Commit 68de5dc pushed by hyperpolymath
1m 46s main
main
1m 46s
Merge remote-tracking branch 'origin/theory/axis8-deferred-sweep' .github/workflows/scorecard.yml #103: Commit 68de5dc pushed by hyperpolymath
1m 46s main
main
1m 46s
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… .github/workflows/governance.yml #166: Commit f34b161 pushed by hyperpolymath
3m 40s main
main
3m 40s
Merge branch 'theory/echo-approx-deeper-rung' into main (already inco… .github/workflows/mirror.yml #81: Commit f34b161 pushed by hyperpolymath
2s main
main
2s
Merge branch 'theory/echo-approx-deeper-rung' into main (already inco… Hypatia Security Scan #188: Commit f34b161 pushed by hyperpolymath
3m 40s main
main
3m 40s
ProTip! You can narrow down the results and go further in time using created:<2026-05-22 or the other filters available.