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
brouwer(arithmetic): checked refutations of strict-left-mono of _⊕_ and additive-principal closure on generic sums Agda #581: Pull request #146 opened by hyperpolymath
11m 13s session/brouwer-arithmetic-refutations
session/brouwer-arithmetic-refutations
11m 13s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) (#145) Mirror to Git Forges #107: Commit 1cc2ebc pushed by hyperpolymath
2s main
main
2s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) (#145) Governance #238: Commit 1cc2ebc pushed by hyperpolymath
17s main
main
17s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) (#145) Scorecards supply-chain security #132: Commit 1cc2ebc pushed by hyperpolymath
1s main
main
1s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) (#145) Hypatia Security Scan #257: Commit 1cc2ebc pushed by hyperpolymath
47s main
main
47s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) (#145) Agda #580: Commit 1cc2ebc pushed by hyperpolymath
9m 59s main
main
9m 59s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) Governance #237: Pull request #145 opened by hyperpolymath
46s docs/residue-instance-count-correction
docs/residue-instance-count-correction
46s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) Agda #579: Pull request #145 opened by hyperpolymath
11m 23s docs/residue-instance-count-correction
docs/residue-instance-count-correction
11m 23s
docs: ResidueForm count 6→8 + Slice 3 closure (#142 + #143) Hypatia Security Scan #256: Pull request #145 opened by hyperpolymath
1m 0s docs/residue-instance-count-correction
docs/residue-instance-count-correction
1m 0s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equali… Mirror to Git Forges #106: Commit b026a5d pushed by hyperpolymath
1s main
main
1s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equali… Governance #236: Commit b026a5d pushed by hyperpolymath
17s main
main
17s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equali… Scorecards supply-chain security #131: Commit b026a5d pushed by hyperpolymath
1s main
main
1s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equali… Agda #578: Commit b026a5d pushed by hyperpolymath
10m 29s main
main
10m 29s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equali… Hypatia Security Scan #255: Commit b026a5d pushed by hyperpolymath
1m 3s main
main
1m 3s
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE… Mirror to Git Forges #105: Commit 0fce4af pushed by hyperpolymath
1s main
main
1s
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE… Scorecards supply-chain security #130: Commit 0fce4af pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE… Governance #235: Commit 0fce4af pushed by hyperpolymath
20s main
main
20s
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE… Agda #577: Commit 0fce4af pushed by hyperpolymath
1m 6s main
main
1m 6s
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE… Hypatia Security Scan #254: Commit 0fce4af pushed by hyperpolymath
49s main
main
49s
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + README) Agda #576: Pull request #144 opened by hyperpolymath
11m 47s docs/post-pr136-narrative-refresh-2026-05-28
docs/post-pr136-narrative-refresh-2026-05-28
11m 47s
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + README) Governance #234: Pull request #144 opened by hyperpolymath
20s docs/post-pr136-narrative-refresh-2026-05-28
docs/post-pr136-narrative-refresh-2026-05-28
20s
docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + README) Hypatia Security Scan #253: Pull request #144 opened by hyperpolymath
53s docs/post-pr136-narrative-refresh-2026-05-28
docs/post-pr136-narrative-refresh-2026-05-28
53s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equality ψ-rank discharge Governance #233: Pull request #143 synchronize by hyperpolymath
15s session/rank-lex-joint-bplus
session/rank-lex-joint-bplus
15s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equality ψ-rank discharge Agda #575: Pull request #143 synchronize by hyperpolymath
10m 40s session/rank-lex-joint-bplus
session/rank-lex-joint-bplus
10m 40s
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equality ψ-rank discharge Hypatia Security Scan #252: Pull request #143 synchronize by hyperpolymath
50s session/rank-lex-joint-bplus
session/rank-lex-joint-bplus
50s
ProTip! You can narrow down the results and go further in time using created:<2026-05-28 or the other filters available.