Skip to content

Actions: dicethedev/leanSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve AI agent writing style (#1190)
Production Test Vectors #26: Commit 0f5b8e5 pushed by dicethedev
3h 0m 32s main
BlockSpec check_state_transition (#1186)
Production Test Vectors #24: Commit 8b4ebbe pushed by dicethedev
1h 12m 34s main
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