Skip to content

Actions: hyperpolymath/echo-types

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,104 workflow runs
1,104 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
OSSF Scorecard OSSF Scorecard #108: Scheduled
27s main
main
27s
OSSF Scorecard OSSF Scorecard #107: Scheduled
7m 30s main
main
7m 30s
Hypatia Security Scan Hypatia Security Scan #193: Scheduled
48s main
main
48s
Merge branch 'backup/feat-q2-1-nontruncatable-wip-2026-05-18' Governance #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' OSSF Scorecard #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' Mirror to Git Forges #85: Commit 5aef71f pushed by hyperpolymath
2s main
main
2s
docs: add record of legacy retractions and spikes Governance #169: Commit 3345ff9 pushed by hyperpolymath
4h 32m 14s main
main
4h 32m 14s
docs: add record of legacy retractions and spikes Mirror to Git Forges #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 OSSF Scorecard #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… Governance #168: Commit 91b2bf4 pushed by hyperpolymath
5m 49s main
main
5m 49s
Merge branch 'chore/bookkeeping-and-axis8-rungc-closure' into main (r… Mirror to Git Forges #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… OSSF Scorecard #104: Commit 91b2bf4 pushed by hyperpolymath
5m 47s main
main
5m 47s
Merge remote-tracking branch 'origin/theory/axis8-deferred-sweep' Governance #167: Commit 68de5dc pushed by hyperpolymath
1m 46s main
main
1m 46s
Merge remote-tracking branch 'origin/theory/axis8-deferred-sweep' Mirror to Git Forges #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' OSSF Scorecard #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