Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
530 workflow runs
530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Apalache checkmark for EinstinRiddle + comment Check Specs & Metadata #303: Pull request #117 opened by nano-o
January 31, 2024 02:59 22m 39s nano-o:einstein
nano-o:einstein
January 31, 2024 02:59 22m 39s
tlaplus-dispatch Check Specs & Metadata #302: Repository dispatch triggered by lemmy
January 31, 2024 02:33 24m 17s
January 31, 2024 02:33 24m 17s
Move some specs from remote spec table into local repo Check Specs & Metadata #301: Pull request #116 synchronize by ahelwer
January 31, 2024 02:13 1m 45s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 02:13 1m 45s
Move some specs from remote spec table into local repo Check Specs & Metadata #300: Pull request #116 opened by ahelwer
January 31, 2024 02:10 59s ahelwer:remote-spec-table
ahelwer:remote-spec-table
January 31, 2024 02:10 59s
tlaplus-dispatch Check Specs & Metadata #299: Repository dispatch triggered by lemmy
January 30, 2024 23:43 21m 28s
January 30, 2024 23:43 21m 28s
Find solution to Einstein's riddle with Apalache (#113) Check Specs & Metadata #298: Commit 7db81cd pushed by ahelwer
January 29, 2024 23:24 22m 39s master
master
January 29, 2024 23:24 22m 39s
Find solution to Einstein's riddle with Apalache Check Specs & Metadata #297: Pull request #113 synchronize by nano-o
January 27, 2024 16:47 21m 43s nano-o:einstein
nano-o:einstein
January 27, 2024 16:47 21m 43s
Find solution to Einstein's riddle with Apalache Check Specs & Metadata #296: Pull request #113 synchronize by nano-o
January 27, 2024 16:47 20m 9s nano-o:einstein
nano-o:einstein
January 27, 2024 16:47 20m 9s
Added TLC models for all viable specs (#110) Check Specs & Metadata #295: Commit 45a0205 pushed by ahelwer
January 26, 2024 21:04 22m 12s master
master
January 26, 2024 21:04 22m 12s
Added TLC models for all viable specs Check Specs & Metadata #294: Pull request #110 synchronize by ahelwer
January 26, 2024 20:46 17m 18s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 26, 2024 20:46 17m 18s
Added TLC models for all viable specs Check Specs & Metadata #293: Pull request #110 synchronize by ahelwer
January 26, 2024 17:16 20m 14s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 26, 2024 17:16 20m 14s
Added TLC models for all viable specs Check Specs & Metadata #292: Pull request #110 synchronize by ahelwer
January 26, 2024 15:46 1m 53s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 26, 2024 15:46 1m 53s
Added TLC models for all viable specs Check Specs & Metadata #291: Pull request #110 synchronize by ahelwer
January 26, 2024 14:53 22m 53s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 26, 2024 14:53 22m 53s
Added TLC models for all viable specs Check Specs & Metadata #290: Pull request #110 synchronize by ahelwer
January 25, 2024 20:50 2m 26s ahelwer:add-tlc-models
ahelwer:add-tlc-models
January 25, 2024 20:50 2m 26s
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
ProTip! You can narrow down the results and go further in time using created:<2024-01-22 or the other filters available.