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
docs: enumerate exploratory truncation postulates in docs/proof-debt.md Agda #631: Pull request #172 opened by hyperpolymath
23m 30s docs/proof-debt
docs/proof-debt
23m 30s
docs: enumerate exploratory truncation postulates in docs/proof-debt.md Hypatia Security Scan #307: Pull request #172 opened by hyperpolymath
9m 32s docs/proof-debt
docs/proof-debt
9m 32s
proof: WfCNF wrap of the RankMonoUnion umbrella .github/workflows/governance.yml #288: Pull request #169 synchronize by hyperpolymath
9m 48s session/rank-mono-union-wfcnf
session/rank-mono-union-wfcnf
9m 48s
proof: WfCNF wrap of the RankMonoUnion umbrella Hypatia Security Scan #306: Pull request #169 synchronize by hyperpolymath
9m 20s session/rank-mono-union-wfcnf
session/rank-mono-union-wfcnf
9m 20s
proof: WfCNF wrap of the RankMonoUnion umbrella Agda #630: Pull request #169 synchronize by hyperpolymath
20m 16s session/rank-mono-union-wfcnf
session/rank-mono-union-wfcnf
20m 16s
docs: stale-claim sweep after Slice 3+4 Route A 6-PR arc (#165-#170) .github/workflows/governance.yml #287: Pull request #171 opened by hyperpolymath
10m 21s session/slice34-arc-doc-sweep
session/slice34-arc-doc-sweep
10m 21s
docs: stale-claim sweep after Slice 3+4 Route A 6-PR arc (#165-#170) Agda #629: Pull request #171 opened by hyperpolymath
15m 35s session/slice34-arc-doc-sweep
session/slice34-arc-doc-sweep
15m 35s
docs: stale-claim sweep after Slice 3+4 Route A 6-PR arc (#165-#170) Hypatia Security Scan #305: Pull request #171 opened by hyperpolymath
3m 33s session/slice34-arc-doc-sweep
session/slice34-arc-doc-sweep
3m 33s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport (#170) Scorecards supply-chain security #154: Commit 3bb92f4 pushed by hyperpolymath
1s main
main
1s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport (#170) .github/workflows/mirror.yml #129: Commit 3bb92f4 pushed by hyperpolymath
1s main
main
1s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport (#170) .github/workflows/governance.yml #286: Commit 3bb92f4 pushed by hyperpolymath
10m 58s main
main
10m 58s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport (#170) Agda #628: Commit 3bb92f4 pushed by hyperpolymath
15m 25s main
main
15m 25s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport (#170) Hypatia Security Scan #304: Commit 3bb92f4 pushed by hyperpolymath
7m 31s main
main
7m 31s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport Hypatia Security Scan #303: Pull request #170 opened by hyperpolymath
8m 30s session/rank-mono-union-wf
session/rank-mono-union-wf
8m 30s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport .github/workflows/governance.yml #285: Pull request #170 opened by hyperpolymath
7m 31s session/rank-mono-union-wf
session/rank-mono-union-wf
7m 31s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport Agda #627: Pull request #170 opened by hyperpolymath
15m 29s session/rank-mono-union-wf
session/rank-mono-union-wf
15m 29s
proof(architecture): RankMonoUnion umbrella over source-rule extensio… .github/workflows/governance.yml #284: Commit 8eb08de pushed by hyperpolymath
13m 42s main
main
13m 42s
proof(architecture): RankMonoUnion umbrella over source-rule extensio… Scorecards supply-chain security #153: Commit 8eb08de pushed by hyperpolymath
Startup failure main
main
Startup failure
proof(architecture): RankMonoUnion umbrella over source-rule extensio… .github/workflows/mirror.yml #128: Commit 8eb08de pushed by hyperpolymath
1s main
main
1s
proof(architecture): RankMonoUnion umbrella over source-rule extensio… Hypatia Security Scan #302: Commit 8eb08de pushed by hyperpolymath
7m 20s main
main
7m 20s
proof(architecture): RankMonoUnion umbrella over source-rule extensio… Agda #626: Commit 8eb08de pushed by hyperpolymath
16m 35s main
main
16m 35s
proof: WfCNF wrap of the RankMonoUnion umbrella .github/workflows/governance.yml #283: Pull request #169 opened by hyperpolymath
13m 42s session/rank-mono-union-wfcnf
session/rank-mono-union-wfcnf
13m 42s
proof: WfCNF wrap of the RankMonoUnion umbrella Agda #625: Pull request #169 opened by hyperpolymath
20m 9s session/rank-mono-union-wfcnf
session/rank-mono-union-wfcnf
20m 9s
proof(architecture): RankMonoUnion umbrella over source-rule extensions .github/workflows/governance.yml #282: Pull request #168 opened by hyperpolymath
7m 57s session/rank-mono-union-umbrella
session/rank-mono-union-umbrella
7m 57s
proof(architecture): RankMonoUnion umbrella over source-rule extensions Hypatia Security Scan #301: Pull request #168 opened by hyperpolymath
2m 36s session/rank-mono-union-umbrella
session/rank-mono-union-umbrella
2m 36s
ProTip! You can narrow down the results and go further in time using created:<2026-05-30 or the other filters available.