Skip to content

Actions: dicethedev/leanSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 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
refactor(chain): tidy ChainService and rework its test suite (#825) Production Test Vectors #18: Commit 5eef395 pushed by dicethedev
42m 13s main
main
42m 13s
refactor(chain): tidy ChainService and rework its test suite (#825) CI #18: Commit 5eef395 pushed by dicethedev
31m 27s main
main
31m 27s
refactor(chain): tidy ChainService and rework its test suite (#825) Docker #18: Commit 5eef395 pushed by dicethedev
51m 23s main
main
51m 23s
refactor(forks/lstar): split spec.py into per-concern mixins (#817) Production Test Vectors #17: Commit 12c8820 pushed by dicethedev
1h 6m 55s main
main
1h 6m 55s
refactor(forks/lstar): split spec.py into per-concern mixins (#817) Docker #17: Commit 12c8820 pushed by dicethedev
47m 5s main
main
47m 5s
refactor(forks/lstar): split spec.py into per-concern mixins (#817) CI #17: Commit 12c8820 pushed by dicethedev
41m 53s main
main
41m 53s
refactor: dissolve lean_spec.types package (#790) Docker #16: Commit 708b82f pushed by dicethedev
51m 47s main
main
51m 47s
refactor: dissolve lean_spec.types package (#790) CI #16: Commit 708b82f pushed by dicethedev
33m 9s main
main
33m 9s
refactor: dissolve lean_spec.types package (#790) Production Test Vectors #16: Commit 708b82f pushed by dicethedev
57m 38s main
main
57m 38s
refactor: replace hand-rolled patterns with stdlib equivalents (#770) CI #15: Commit 3c61690 pushed by dicethedev
30m 24s main
main
30m 24s
refactor: replace hand-rolled patterns with stdlib equivalents (#770) Production Test Vectors #15: Commit 3c61690 pushed by dicethedev
10s main
main
10s
refactor: replace hand-rolled patterns with stdlib equivalents (#770) Docker #15: Commit 3c61690 pushed by dicethedev
52m 32s main
main
52m 32s
refactor: modernize batch — @override, single stop signal, struct cle… Production Test Vectors #14: Commit 6513aba pushed by dicethedev
12s main
main
12s
refactor: modernize batch — @override, single stop signal, struct cle… CI #14: Commit 6513aba pushed by dicethedev
30m 4s main
main
30m 4s
refactor: modernize batch — @override, single stop signal, struct cle… Docker #14: Commit 6513aba pushed by dicethedev
51m 20s main
main
51m 20s
refactor(sync): readability sweep on service.py (#733) Production Test Vectors #13: Commit db21cc2 pushed by dicethedev
2m 44s main
main
2m 44s
refactor(sync): readability sweep on service.py (#733) CI #13: Commit db21cc2 pushed by dicethedev
19m 19s main
main
19m 19s
refactor(sync): readability sweep on service.py (#733) Docker #13: Commit db21cc2 pushed by dicethedev
41m 6s main
main
41m 6s
fix: allow older-but-justified sources in build_block (#716) CI #12: Commit 00556d8 pushed by dicethedev
24m 46s main
main
24m 46s
fix: allow older-but-justified sources in build_block (#716) Docker #12: Commit 00556d8 pushed by dicethedev
33m 54s main
main
33m 54s
fix: allow older-but-justified sources in build_block (#716) Production Test Vectors #12: Commit 00556d8 pushed by dicethedev
1h 21m 13s main
main
1h 21m 13s
feat(forks): add SigScheme capability and @requires marker (Stage 7 o… CI #11: Commit 98799f0 pushed by dicethedev
19m 1s main
main
19m 1s
feat(forks): add SigScheme capability and @requires marker (Stage 7 o… Docker #11: Commit 98799f0 pushed by dicethedev
41m 0s main
main
41m 0s
feat(forks): add SigScheme capability and @requires marker (Stage 7 o… Production Test Vectors #11: Commit 98799f0 pushed by dicethedev
1h 25m 56s main
main
1h 25m 56s
chore: rm old references to devnet fork; rm exec fork refs (#710) CI #10: Commit a5a05f9 pushed by dicethedev
16m 43s main
main
16m 43s