Skip to content

Actions: FedericoPonzi/tla-plus-specs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ignore AMoreComplexThread from ci, to win you have to find a deadlock Check Specs & Metadata #18: Commit fc3274e pushed by FedericoPonzi
October 2, 2024 08:19 20s main
main
October 2, 2024 08:19 20s
Add 'A More Complex Thread' from Deadlock empire modeling Check Specs & Metadata #17: Commit 527c961 pushed by FedericoPonzi
October 2, 2024 08:02 22s main
main
October 2, 2024 08:02 22s
Ignore playground Check Specs & Metadata #16: Commit bccd4f9 pushed by FedericoPonzi
October 2, 2024 08:02 33s main
main
October 2, 2024 08:02 33s
Update readme and remove empty file Check Specs & Metadata #15: Commit 001e7b8 pushed by FedericoPonzi
June 7, 2024 16:50 25s main
main
June 7, 2024 16:50 25s
Chandy-lamport protocol for distributed snapshots Check Specs & Metadata #14: Commit cf07f83 pushed by FedericoPonzi
May 28, 2024 15:19 37s main
main
May 28, 2024 15:19 37s
Update readme with Lamport clocks article Check Specs & Metadata #13: Commit 8d31a07 pushed by FedericoPonzi
February 12, 2024 00:14 23s main
main
February 12, 2024 00:14 23s
Fixes to make ci happy Check Specs & Metadata #12: Commit a6e5bd3 pushed by FedericoPonzi
February 12, 2024 00:13 23s main
main
February 12, 2024 00:13 23s
Fixes to make ci happy Check Specs & Metadata #11: Commit f2c9265 pushed by FedericoPonzi
February 12, 2024 00:13 23s main
main
February 12, 2024 00:13 23s
Fixes to make ci happy Check Specs & Metadata #10: Commit 5687d43 pushed by FedericoPonzi
February 12, 2024 00:11 21s main
main
February 12, 2024 00:11 21s
Fixes to make ci happy Check Specs & Metadata #9: Commit f2ea748 pushed by FedericoPonzi
February 12, 2024 00:08 25s main
main
February 12, 2024 00:08 25s
Fixes to make ci happy Check Specs & Metadata #8: Commit 52cba03 pushed by FedericoPonzi
February 12, 2024 00:04 18s main
main
February 12, 2024 00:04 18s
Fixes to make ci happy Check Specs & Metadata #7: Commit f7ff911 pushed by FedericoPonzi
February 12, 2024 00:03 30s main
main
February 12, 2024 00:03 30s
Adds CI - Fixes #1 Check Specs & Metadata #6: Commit 33ac3e1 pushed by FedericoPonzi
February 11, 2024 23:17 23s main
main
February 11, 2024 23:17 23s
Adds CI - Fixes #1 Check Specs & Metadata #5: Commit 2c6cd53 pushed by FedericoPonzi
February 11, 2024 23:17 19s main
main
February 11, 2024 23:17 19s
Adds CI - Fixes #1 Check Specs & Metadata #4: Commit ecba1de pushed by FedericoPonzi
February 11, 2024 23:16 21s main
main
February 11, 2024 23:16 21s
Adds CI - Fixes #1 Check Specs & Metadata #3: Commit 6ee6fd2 pushed by FedericoPonzi
February 11, 2024 23:15 19s main
main
February 11, 2024 23:15 19s
Adds CI Check Specs & Metadata #2: Commit 1dab29c pushed by FedericoPonzi
February 11, 2024 23:14 19s main
main
February 11, 2024 23:14 19s
Adds CI Check Specs & Metadata #1: Commit 4c30139 pushed by FedericoPonzi
February 11, 2024 23:14 20s main
main
February 11, 2024 23:14 20s