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
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering tod… .github/workflows/governance.yml #245: Commit 1880284 pushed by hyperpolymath
14s main
main
14s
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering tod… .github/workflows/mirror.yml #110: Commit 1880284 pushed by hyperpolymath
1s main
main
1s
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering tod… .github/workflows/scorecard.yml #135: Commit 1880284 pushed by hyperpolymath
1s main
main
1s
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 tod… Hypatia Security Scan #264: Commit 1880284 pushed by hyperpolymath
1m 0s main
main
1m 0s
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering today's closed cases .github/workflows/governance.yml #244: Pull request #149 opened by hyperpolymath
17s session/slice-4-narrowing
session/slice-4-narrowing
17s
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
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering today's closed cases Hypatia Security Scan #263: Pull request #149 opened by hyperpolymath
55s session/slice-4-narrowing
session/slice-4-narrowing
55s
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
echo(image-factorization-prop): postulated-truncation consumer + Exploratory classification .github/workflows/governance.yml #243: Pull request #148 opened by hyperpolymath
23s session/epi-mono-consumer
session/epi-mono-consumer
23s
echo(image-factorization-prop): postulated-truncation consumer + Exploratory classification Hypatia Security Scan #262: Pull request #148 opened by hyperpolymath
1m 4s session/epi-mono-consumer
session/epi-mono-consumer
1m 4s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer b… .github/workflows/governance.yml #242: Commit 791bb70 pushed by hyperpolymath
20s main
main
20s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer b… .github/workflows/mirror.yml #109: Commit 791bb70 pushed by hyperpolymath
1s main
main
1s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer b… .github/workflows/scorecard.yml #134: Commit 791bb70 pushed by hyperpolymath
1s main
main
1s
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 b… Hypatia Security Scan #261: Commit 791bb70 pushed by hyperpolymath
1m 1s main
main
1m 1s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer bplus second component .github/workflows/governance.yml #241: Pull request #147 opened by hyperpolymath
21s session/rank-lex-jb-scaffold
session/rank-lex-jb-scaffold
21s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer bplus second component Hypatia Security Scan #260: Pull request #147 opened by hyperpolymath
54s session/rank-lex-jb-scaffold
session/rank-lex-jb-scaffold
54s
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 _⊕_… .github/workflows/scorecard.yml #133: Commit a4f8180 pushed by hyperpolymath
1s main
main
1s
brouwer(arithmetic): checked refutations of strict-left-mono of _⊕_… .github/workflows/mirror.yml #108: Commit a4f8180 pushed by hyperpolymath
1s main
main
1s
brouwer(arithmetic): checked refutations of strict-left-mono of _⊕_… .github/workflows/governance.yml #240: Commit a4f8180 pushed by hyperpolymath
20s main
main
20s
brouwer(arithmetic): checked refutations of strict-left-mono of _⊕_… Hypatia Security Scan #259: Commit a4f8180 pushed by hyperpolymath
52s main
main
52s
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 .github/workflows/governance.yml #239: Pull request #146 opened by hyperpolymath
20s session/brouwer-arithmetic-refutations
session/brouwer-arithmetic-refutations
20s
ProTip! You can narrow down the results and go further in time using created:<2026-05-28 or the other filters available.