Skip to content

Actions: oxarbitrage/zcash-p2p-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor updates to the readme TLA+ Model Checking #17: Commit c0bc981 pushed by oxarbitrage
November 5, 2024 19:44 3m 20s main
main
November 5, 2024 19:44 3m 20s
fix some docs TLA+ Model Checking #16: Commit da8f2e4 pushed by oxarbitrage
October 30, 2024 17:36 3m 15s main
main
October 30, 2024 17:36 3m 15s
fix some docs TLA+ PDF Generation #7: Commit da8f2e4 pushed by oxarbitrage
October 30, 2024 17:36 58s main
main
October 30, 2024 17:36 58s
remove documents from the root of the project TLA+ Model Checking #15: Commit 1bb02d8 pushed by oxarbitrage
October 26, 2024 14:45 3m 19s main
main
October 26, 2024 14:45 3m 19s
TLA+ PDF Generation TLA+ PDF Generation #6: Manually run by oxarbitrage
October 26, 2024 13:56 1m 3s main
main
October 26, 2024 13:56 1m 3s
try giving permissions TLA+ Model Checking #14: Commit fc8676f pushed by oxarbitrage
October 26, 2024 13:55 3m 18s main
main
October 26, 2024 13:55 3m 18s
TLA+ PDF Generation TLA+ PDF Generation #5: Manually run by oxarbitrage
October 26, 2024 13:51 1m 3s main
main
October 26, 2024 13:51 1m 3s
try auto commit documents TLA+ Model Checking #13: Commit af49ee5 pushed by oxarbitrage
October 26, 2024 13:50 3m 20s main
main
October 26, 2024 13:50 3m 20s
TLA+ PDF Generation TLA+ PDF Generation #4: Manually run by oxarbitrage
October 26, 2024 12:29 50s main
main
October 26, 2024 12:29 50s
fix artifact uploads TLA+ Model Checking #12: Commit 56757bb pushed by oxarbitrage
October 26, 2024 12:29 3m 16s main
main
October 26, 2024 12:29 3m 16s
TLA+ PDF Generation TLA+ PDF Generation #3: Manually run by oxarbitrage
October 26, 2024 12:12 49s main
main
October 26, 2024 12:12 49s
fix file name TLA+ Model Checking #11: Commit 373cf29 pushed by oxarbitrage
October 26, 2024 12:12 3m 21s main
main
October 26, 2024 12:12 3m 21s
TLA+ PDF Generation TLA+ PDF Generation #2: Manually run by oxarbitrage
October 26, 2024 12:09 51s main
main
October 26, 2024 12:09 51s
generate pdf for each tla file in the project TLA+ Model Checking #10: Commit efe003b pushed by oxarbitrage
October 26, 2024 12:07 3m 22s main
main
October 26, 2024 12:07 3m 22s
TLA+ PDF Generation TLA+ PDF Generation #1: Manually run by oxarbitrage
October 25, 2024 22:24 48s main
main
October 25, 2024 22:24 48s
allow manual dispatch for testing TLA+ Model Checking #9: Commit 0c7fca1 pushed by oxarbitrage
October 25, 2024 22:23 3m 15s main
main
October 25, 2024 22:23 3m 15s
test the pdf generation TLA+ Model Checking #8: Commit 0796b23 pushed by oxarbitrage
October 25, 2024 22:19 3m 10s main
main
October 25, 2024 22:19 3m 10s
try a pdf generator TLA+ Model Checking #7: Commit 9141077 pushed by oxarbitrage
October 25, 2024 22:13 3m 16s main
main
October 25, 2024 22:13 3m 16s
remove the chain tp from the network and use the highest height of th… TLA+ Model Checking #6: Commit 5711133 pushed by oxarbitrage
October 24, 2024 23:01 3m 12s main
main
October 24, 2024 23:01 3m 12s
exclude failures from matrix TLA+ Model Checking #5: Commit dc729ed pushed by oxarbitrage
October 23, 2024 21:14 19s main
main
October 23, 2024 21:14 19s
use a matrix for configs TLA+ Model Checking #4: Commit 457e8e2 pushed by oxarbitrage
October 23, 2024 21:12 19s main
main
October 23, 2024 21:12 19s
try multiple configs TLA+ Model Checking #3: Commit 5eaed5b pushed by oxarbitrage
October 23, 2024 20:58 18s main
main
October 23, 2024 20:58 18s
fix tlc action TLA+ Model Checking #2: Commit 1c7172e pushed by oxarbitrage
October 23, 2024 20:25 17s main
main
October 23, 2024 20:25 17s
add a tlc workflow TLA+ Model Checking #1: Commit d0eea3b pushed by oxarbitrage
October 23, 2024 20:21 15s main
main
October 23, 2024 20:21 15s