Skip to content

Actions: dicethedev/leanSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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