Skip to content

Actions: oxarbitrage/zcash-p2p-spec

Actions

TLA+ PDF Generation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tla-pdf-generator.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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