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
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering tod… Agda #587: Commit 1880284 pushed by hyperpolymath
2m 33s main
main
2m 33s
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering today's closed cases Agda #586: Pull request #149 opened by hyperpolymath
10m 28s session/slice-4-narrowing
session/slice-4-narrowing
10m 28s
echo(image-factorization-prop): postulated-truncation consumer + Exploratory classification Agda #585: Pull request #148 opened by hyperpolymath
48s session/epi-mono-consumer
session/epi-mono-consumer
48s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer b… Agda #584: Commit 791bb70 pushed by hyperpolymath
11m 12s main
main
11m 12s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer bplus second component Agda #583: Pull request #147 opened by hyperpolymath
11m 44s session/rank-lex-jb-scaffold
session/rank-lex-jb-scaffold
11m 44s
brouwer(arithmetic): checked refutations of strict-left-mono of _⊕_… Agda #582: Commit a4f8180 pushed by hyperpolymath
11m 48s main
main
11m 48s
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) Agda #580: Commit 1cc2ebc pushed by hyperpolymath
9m 59s main
main
9m 59s
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
ordinal(buchholz): Slice 3 lex-rank companion — bpsi-source-at-equali… Agda #578: Commit b026a5d pushed by hyperpolymath
10m 29s main
main
10m 29s
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 + 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
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 umbrella extension — _<ᵇ¹_ with joint-bplu… Agda #574: Commit 9c970e1 pushed by hyperpolymath
5m 28s main
main
5m 28s
ordinal(buchholz): Slice 3 umbrella extension — _<ᵇ¹_ with joint-bplus + strict-head dispatch Agda #573: Pull request #142 opened by hyperpolymath
12m 8s session/slice-3-umbrella-extension
session/slice-3-umbrella-extension
12m 8s
ordinal(buchholz): Slice 3 headline — rank-mono-<ᵇ-+1-via-head-Ω unde… Agda #572: Commit 4b265d1 pushed by hyperpolymath
11m 18s main
main
11m 18s
ordinal(buchholz): Slice 3 headline — rank-mono-<ᵇ-+1-via-head-Ω under strict-head premise Agda #571: Pull request #141 opened by hyperpolymath
11m 49s session/slice-3-headline-via-rank-lex
session/slice-3-headline-via-rank-lex
11m 49s
docs: banner kit — visual identity ("Diagrammatic Hush") (#140) Agda #570: Commit 0826e52 pushed by hyperpolymath
8m 10s main
main
8m 10s
docs: banner kit — visual identity ("Diagrammatic Hush") Agda #569: Pull request #140 opened by hyperpolymath
11m 30s feat/banner-kit
feat/banner-kit
11m 30s
EchoImageFactorizationProp — (epi, mono) factorisation module-paramet… Agda #568: Commit cbab984 pushed by hyperpolymath
6m 18s main
main
6m 18s
EchoImageFactorizationProp — (epi, mono) factorisation module-parameterised in TruncInterface Agda #567: Pull request #138 synchronize by hyperpolymath
11m 43s session/image-factorization-prop-module-param
session/image-factorization-prop-module-param
11m 43s
EchoResidueTaxonomy: Search + Epistemic as ResidueForm instances (#139) Agda #566: Commit 8310931 pushed by hyperpolymath
10m 45s main
main
10m 45s
EchoResidueTaxonomy: Search + Epistemic as ResidueForm instances Agda #565: Pull request #139 opened by hyperpolymath
9m 15s session/search-epistemic-residueform-instances
session/search-epistemic-residueform-instances
9m 15s
ordinal(buchholz): Slice 3 prerequisites — NonBzero + strict-jump bri… Agda #564: Commit ec2b274 pushed by hyperpolymath
6m 0s main
main
6m 0s
EchoImageFactorizationProp — (epi, mono) factorisation module-parameterised in TruncInterface Agda #563: Pull request #138 synchronize by hyperpolymath
9m 49s session/image-factorization-prop-module-param
session/image-factorization-prop-module-param
9m 49s
ProTip! You can narrow down the results and go further in time using created:<2026-05-28 or the other filters available.