Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
512 workflow runs
512 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added TLC models for all viable specs Check Specs & Metadata #289: Pull request #110 synchronize by ahelwer
January 25, 2024 02:09 19m 23s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 25, 2024 02:09 19m 23s
Added TLC models for all viable specs Check Specs & Metadata #288: Pull request #110 synchronize by ahelwer
January 23, 2024 23:40 19m 0s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 23, 2024 23:40 19m 0s
Added TLC models for all viable specs Check Specs & Metadata #287: Pull request #110 synchronize by ahelwer
January 23, 2024 22:48 19m 47s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 23, 2024 22:48 19m 47s
Added TLC models for all viable specs Check Specs & Metadata #286: Pull request #110 synchronize by ahelwer
January 23, 2024 18:56 23m 33s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 23, 2024 18:56 23m 33s
Find solution to Einstein's riddle with Apalache Check Specs & Metadata #285: Pull request #113 synchronize by nano-o
January 22, 2024 18:52 17m 22s nano-o:einstein
nano-o:einstein
January 22, 2024 18:52 17m 22s
Added TLC models for all viable specs Check Specs & Metadata #284: Pull request #110 synchronize by ahelwer
January 22, 2024 17:19 20m 18s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 22, 2024 17:19 20m 18s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #283: Pull request #112 synchronize by nano-o
January 22, 2024 17:06 17m 33s nano-o:master
nano-o:master
January 22, 2024 17:06 17m 33s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #282: Pull request #112 synchronize by nano-o
January 22, 2024 16:40 14m 35s nano-o:master
nano-o:master
January 22, 2024 16:40 14m 35s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #281: Pull request #112 synchronize by nano-o
January 22, 2024 16:30 22m 9s nano-o:master
nano-o:master
January 22, 2024 16:30 22m 9s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #280: Pull request #112 synchronize by nano-o
January 22, 2024 16:12 18m 21s nano-o:master
nano-o:master
January 22, 2024 16:12 18m 21s
Find solution to Einstein's riddle with Apalache Check Specs & Metadata #279: Pull request #113 opened by nano-o
January 22, 2024 03:06 14m 40s nano-o:einstein
nano-o:einstein
January 22, 2024 03:06 14m 40s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #278: Pull request #112 synchronize by nano-o
January 22, 2024 02:54 16m 41s nano-o:master
nano-o:master
January 22, 2024 02:54 16m 41s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #277: Pull request #112 synchronize by nano-o
January 21, 2024 15:51 14m 48s nano-o:master
nano-o:master
January 21, 2024 15:51 14m 48s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #276: Pull request #112 synchronize by nano-o
January 21, 2024 15:50 14m 40s nano-o:master
nano-o:master
January 21, 2024 15:50 14m 40s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #275: Pull request #112 synchronize by nano-o
January 21, 2024 15:43 1m 38s nano-o:master
nano-o:master
January 21, 2024 15:43 1m 38s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #274: Pull request #112 synchronize by nano-o
January 21, 2024 15:43 1m 28s nano-o:master
nano-o:master
January 21, 2024 15:43 1m 28s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #273: Pull request #112 synchronize by nano-o
January 21, 2024 05:41 1m 29s nano-o:master
nano-o:master
January 21, 2024 05:41 1m 29s
Add version of Voting.tla that can be analyzed by Apalache. Check Specs & Metadata #272: Pull request #112 opened by nano-o
January 21, 2024 05:41 1m 21s nano-o:master
nano-o:master
January 21, 2024 05:41 1m 21s
Add TLAPS check mark to Termination entry and fix unrelated comment (… Check Specs & Metadata #271: Commit adccef9 pushed by ahelwer
January 20, 2024 23:49 15m 25s master
master
January 20, 2024 23:49 15m 25s
Add TLAPS check mark to Termination entry and fix unrelated comment Check Specs & Metadata #270: Pull request #111 synchronize by nano-o
January 20, 2024 21:06 14m 20s nano-o:master
nano-o:master
January 20, 2024 21:06 14m 20s
Add TLAPS check mark to Termination entry and fix unrelated comment Check Specs & Metadata #269: Pull request #111 opened by nano-o
January 20, 2024 20:50 15m 0s nano-o:master
nano-o:master
January 20, 2024 20:50 15m 0s
tlaplus-dispatch Check Specs & Metadata #268: Repository dispatch triggered by lemmy
January 19, 2024 23:52 15m 27s
January 19, 2024 23:52 15m 27s
Added TLC models for all viable specs Check Specs & Metadata #267: Pull request #110 synchronize by ahelwer
January 19, 2024 23:24 15m 2s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 19, 2024 23:24 15m 2s
Added TLC models for all viable specs Check Specs & Metadata #266: Pull request #110 synchronize by ahelwer
January 19, 2024 23:06 1m 55s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 19, 2024 23:06 1m 55s
Added TLC models for all viable specs Check Specs & Metadata #265: Pull request #110 synchronize by ahelwer
January 19, 2024 22:39 15m 21s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 19, 2024 22:39 15m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-01-19 or the other filters available.