Skip to content

Actions: dicethedev/leanSpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 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: 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
chore: rm old references to devnet fork; rm exec fork refs (#710) Production Test Vectors #10: Commit a5a05f9 pushed by dicethedev
1h 25m 27s main
main
1h 25m 27s
chore: rm old references to devnet fork; rm exec fork refs (#710) Docker #10: Commit a5a05f9 pushed by dicethedev
39m 48s main
main
39m 48s
test(st): cover state transition at the validator registry limit (#699) Docker #9: Commit 34cc920 pushed by dicethedev
38m 53s main
main
38m 53s
test(st): cover state transition at the validator registry limit (#699) CI #9: Commit 34cc920 pushed by dicethedev
30m 16s main
main
30m 16s
test(st): cover state transition at the validator registry limit (#699) Production Test Vectors #9: Commit 34cc920 pushed by dicethedev
1h 33m 45s main
main
1h 33m 45s
refactor(tests): move state and forkchoice tests under forks/lstar (S… Docker #8: Commit 941abe7 pushed by dicethedev
43m 38s main
main
43m 38s
refactor(tests): move state and forkchoice tests under forks/lstar (S… Production Test Vectors #8: Commit 941abe7 pushed by dicethedev
1h 24m 20s main
main
1h 24m 20s
refactor(tests): move state and forkchoice tests under forks/lstar (S… CI #8: Commit 941abe7 pushed by dicethedev
21m 4s main
main
21m 4s
docs: remove markdown docs (#701) Production Test Vectors #7: Commit 56c22d9 pushed by dicethedev
1h 24m 41s main
main
1h 24m 41s
docs: remove markdown docs (#701) Docker #7: Commit 56c22d9 pushed by dicethedev
34m 38s main
main
34m 38s
docs: remove markdown docs (#701) CI #7: Commit 56c22d9 pushed by dicethedev
18m 39s main
main
18m 39s
refactor(forks): move fork-stable types to lean_spec.types (Stage 2 o… Docker #6: Commit 62c5987 pushed by dicethedev
39m 56s main
main
39m 56s