Skip to content
This repository has been archived by the owner on Oct 28, 2024. It is now read-only.

Actions: FedericoPonzi/tlaplus-wiki

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add mention to distributed mode Deploy mdBook site to Pages #41: Commit 57ad71e pushed by FedericoPonzi
June 25, 2024 18:19 5m 34s main
main
June 25, 2024 18:19 5m 34s
pluscal books and drafted tla summary in markdown Deploy mdBook site to Pages #40: Commit d81815f pushed by FedericoPonzi
June 23, 2024 15:24 5m 30s main
main
June 23, 2024 15:24 5m 30s
tla+ summary and more info about tlc Deploy mdBook site to Pages #39: Commit 53a1b0a pushed by FedericoPonzi
June 22, 2024 10:54 5m 49s main
main
June 22, 2024 10:54 5m 49s
More info on how to run tests Deploy mdBook site to Pages #38: Commit 6ed7c14 pushed by FedericoPonzi
June 21, 2024 15:59 5m 51s main
main
June 21, 2024 15:59 5m 51s
Glossary, resources and some debugging tips Deploy mdBook site to Pages #37: Commit 810480a pushed by FedericoPonzi
June 20, 2024 08:43 7m 59s main
main
June 20, 2024 08:43 7m 59s
Glossary, resources and some debugging tips Deploy mdBook site to Pages #36: Commit 7224682 pushed by FedericoPonzi
June 20, 2024 08:39 6m 3s main
main
June 20, 2024 08:39 6m 3s
Add katex renderer Deploy mdBook site to Pages #35: Commit 21e7058 pushed by FedericoPonzi
June 16, 2024 22:49 5m 45s main
main
June 16, 2024 22:49 5m 45s
Add tlc high level overview from Markus' master thesis Deploy mdBook site to Pages #34: Commit 7e2d1f4 pushed by FedericoPonzi
June 16, 2024 17:53 4m 56s main
main
June 16, 2024 17:53 4m 56s
Tlc Deploy mdBook site to Pages #33: Commit b9c00cf pushed by FedericoPonzi
June 16, 2024 14:06 4m 45s main
main
June 16, 2024 14:06 4m 45s
toolbox architecture Deploy mdBook site to Pages #32: Commit ba12b77 pushed by FedericoPonzi
June 16, 2024 13:47 6m 27s main
main
June 16, 2024 13:47 6m 27s
add more specific contributing directions Deploy mdBook site to Pages #31: Commit 396ac87 pushed by FedericoPonzi
June 16, 2024 13:44 4m 57s main
main
June 16, 2024 13:44 4m 57s
add more specific contributing directions Deploy mdBook site to Pages #30: Commit ee9a119 pushed by FedericoPonzi
June 16, 2024 12:35 4m 49s main
main
June 16, 2024 12:35 4m 49s
Generating animations Deploy mdBook site to Pages #29: Commit fadf840 pushed by FedericoPonzi
June 16, 2024 12:18 4m 58s main
main
June 16, 2024 12:18 4m 58s
add ToC for tlc cli Deploy mdBook site to Pages #28: Commit 0661d0c pushed by FedericoPonzi
June 16, 2024 11:32 4m 56s main
main
June 16, 2024 11:32 4m 56s
remove duplicate file Deploy mdBook site to Pages #27: Commit 0c3f45a pushed by FedericoPonzi
June 16, 2024 11:14 8m 24s main
main
June 16, 2024 11:14 8m 24s
fixes format for tla2tools cli page Deploy mdBook site to Pages #26: Commit 72350ce pushed by FedericoPonzi
June 16, 2024 11:12 4m 47s main
main
June 16, 2024 11:12 4m 47s
add eclipse directions Deploy mdBook site to Pages #25: Commit db7641e pushed by FedericoPonzi
June 16, 2024 10:51 4m 46s main
main
June 16, 2024 10:51 4m 46s
document -lncheck Deploy mdBook site to Pages #24: Commit c372cc2 pushed by FedericoPonzi
June 16, 2024 10:40 4m 46s main
main
June 16, 2024 10:40 4m 46s
add more info about tracing Deploy mdBook site to Pages #23: Commit ba04366 pushed by FedericoPonzi
June 15, 2024 19:16 5m 1s main
main
June 15, 2024 19:16 5m 1s
more on Trace validation Deploy mdBook site to Pages #22: Commit 0d3814a pushed by FedericoPonzi
June 15, 2024 19:11 5m 27s main
main
June 15, 2024 19:11 5m 27s
add info about java gc options Deploy mdBook site to Pages #21: Commit 7b4a86e pushed by FedericoPonzi
June 15, 2024 19:07 4m 53s main
main
June 15, 2024 19:07 4m 53s
Add DFS info Deploy mdBook site to Pages #20: Commit 9cb7cbc pushed by FedericoPonzi
June 15, 2024 18:53 5m 2s main
main
June 15, 2024 18:53 5m 2s
Draft config page Deploy mdBook site to Pages #19: Commit 1021961 pushed by FedericoPonzi
June 15, 2024 14:47 4m 47s main
main
June 15, 2024 14:47 4m 47s
Add required dependency Deploy mdBook site to Pages #18: Commit 0cfbcee pushed by FedericoPonzi
June 15, 2024 14:31 3m 25s main
main
June 15, 2024 14:31 3m 25s
Add reference to awesome-tlaplus repo Deploy mdBook site to Pages #17: Commit dbd501d pushed by FedericoPonzi
June 15, 2024 14:10 3m 3s main
main
June 15, 2024 14:10 3m 3s