Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
431 workflow runs
431 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add b-tree example Check Specs & Metadata #519: Pull request #147 opened by lorin
July 12, 2024 04:51 13m 9s lorin:btree
lorin:btree
July 12, 2024 04:51 13m 9s
tlaplus-dispatch Check Specs & Metadata #518: Repository dispatch triggered by lemmy
July 10, 2024 20:27 13m 12s
July 10, 2024 20:27 13m 12s
tlaplus-dispatch Check Specs & Metadata #517: Repository dispatch triggered by lemmy
July 8, 2024 21:46 13m 28s
July 8, 2024 21:46 13m 28s
tlaplus-dispatch Check Specs & Metadata #516: Repository dispatch triggered by lemmy
July 4, 2024 15:41 12m 57s
July 4, 2024 15:41 12m 57s
tlaplus-dispatch Check Specs & Metadata #515: Repository dispatch triggered by lemmy
July 2, 2024 23:24 13m 8s
July 2, 2024 23:24 13m 8s
Discard PlusCal translations in CI (#146) Check Specs & Metadata #514: Commit d04f2b9 pushed by ahelwer
July 1, 2024 18:06 13m 34s master
master
July 1, 2024 18:06 13m 34s
tlaplus-dispatch Check Specs & Metadata #513: Repository dispatch triggered by lemmy
July 1, 2024 17:57 13m 39s
July 1, 2024 17:57 13m 39s
tlaplus-dispatch Check Specs & Metadata #512: Repository dispatch triggered by lemmy
July 1, 2024 17:53 13m 23s
July 1, 2024 17:53 13m 23s
tlaplus-dispatch Check Specs & Metadata #511: Repository dispatch triggered by lemmy
July 1, 2024 17:41 13m 3s
July 1, 2024 17:41 13m 3s
Discard PlusCal translations in CI Check Specs & Metadata #510: Pull request #146 opened by ahelwer
July 1, 2024 17:33 13m 35s ahelwer:pcal-ci-update
ahelwer:pcal-ci-update
July 1, 2024 17:33 13m 35s
tlaplus-dispatch Check Specs & Metadata #509: Repository dispatch triggered by lemmy
July 1, 2024 17:14 13m 48s
July 1, 2024 17:14 13m 48s
tlaplus-dispatch Check Specs & Metadata #508: Repository dispatch triggered by lemmy
June 30, 2024 23:04 13m 25s
June 30, 2024 23:04 13m 25s
tlaplus-dispatch Check Specs & Metadata #507: Repository dispatch triggered by lemmy
June 28, 2024 19:37 13m 14s
June 28, 2024 19:37 13m 14s
tlaplus-dispatch Check Specs & Metadata #506: Repository dispatch triggered by lemmy
June 26, 2024 18:12 13m 21s
June 26, 2024 18:12 13m 21s
TLC now properly supports RandomElement and operators from the Check Specs & Metadata #505: Commit 6eacad2 pushed by lemmy
June 26, 2024 01:16 13m 23s master
master
June 26, 2024 01:16 13m 23s
tlaplus-dispatch Check Specs & Metadata #504: Repository dispatch triggered by lemmy
June 25, 2024 23:11 8m 48s
June 25, 2024 23:11 8m 48s
tlaplus-dispatch Check Specs & Metadata #503: Repository dispatch triggered by lemmy
June 25, 2024 20:11 9m 13s
June 25, 2024 20:11 9m 13s
Do not disable properties in config but refuse to run with more than … Check Specs & Metadata #502: Commit d0036f8 pushed by lemmy
June 23, 2024 01:22 9m 0s master
master
June 23, 2024 01:22 9m 0s
tlaplus-dispatch Check Specs & Metadata #501: Repository dispatch triggered by lemmy
June 21, 2024 20:12 12m 58s
June 21, 2024 20:12 12m 58s
tlaplus-dispatch Check Specs & Metadata #500: Repository dispatch triggered by lemmy
June 21, 2024 16:44 13m 24s
June 21, 2024 16:44 13m 24s
tlaplus-dispatch Check Specs & Metadata #499: Repository dispatch triggered by lemmy
June 21, 2024 14:49 13m 8s
June 21, 2024 14:49 13m 8s
Add BufferedRandomAccessFile spec (#145) Check Specs & Metadata #498: Commit a58b556 pushed by ahelwer
June 20, 2024 22:21 13m 0s master
master
June 20, 2024 22:21 13m 0s
tlaplus-dispatch Check Specs & Metadata #497: Repository dispatch triggered by lemmy
June 20, 2024 21:37 13m 18s
June 20, 2024 21:37 13m 18s
Add BufferedRandomAccessFile spec Check Specs & Metadata #496: Pull request #145 synchronize by Calvin-L
June 20, 2024 21:18 13m 2s Calvin-L:bufferedrandomaccessfile
Calvin-L:bufferedrandomaccessfile
June 20, 2024 21:18 13m 2s
tlaplus-dispatch Check Specs & Metadata #494: Repository dispatch triggered by lemmy
June 20, 2024 00:12 12m 38s
June 20, 2024 00:12 12m 38s
ProTip! You can narrow down the results and go further in time using created:<2024-06-20 or the other filters available.