Skip to content

Actions: dicethedev/leanSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

simplify block building (#1168)
Production Test Vectors #23: Commit 43246bd pushed by dicethedev
2h 51m 50s main
ci: supersede in-progress runs on push to main (#1167)
Production Test Vectors #22: Commit cb862c0 pushed by dicethedev
3h 33m 57s main
refactor: use future annotations in fork protocol (#1011)
Production Test Vectors #20: Commit 11b1469 pushed by dicethedev
2h 43m 58s main
refactor: dissolve lean_spec.types package (#790)
Production Test Vectors #16: Commit 708b82f pushed by dicethedev
57m 38s main