Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
439 workflow runs
439 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
tlaplus-dispatch Check Specs & Metadata #532: Repository dispatch triggered by lemmy
August 7, 2024 11:41 22m 56s
August 7, 2024 11:41 22m 56s
manual manual #2: Manually run by lemmy
August 5, 2024 22:31 3m 19s master
master
August 5, 2024 22:31 3m 19s
tlaplus-dispatch Check Specs & Metadata #531: Repository dispatch triggered by lemmy
August 1, 2024 15:08 24m 32s
August 1, 2024 15:08 24m 32s
Add b-tree example Check Specs & Metadata #530: Pull request #147 synchronize by lorin
July 28, 2024 22:10 2m 2s lorin:btree
lorin:btree
July 28, 2024 22:10 2m 2s
Check Specs & Metadata Check Specs & Metadata #529: by ahelwer
July 18, 2024 23:12 23m 15s master
master
July 18, 2024 23:12 23m 15s
Use macOS runner, minor script debug output fixes Check Specs & Metadata #528: Pull request #149 synchronize by ahelwer
July 18, 2024 22:44 22m 44s ahelwer:minor-script-changes
ahelwer:minor-script-changes
July 18, 2024 22:44 22m 44s
Use macOS runner, minor script debug output fixes Check Specs & Metadata #527: Pull request #149 synchronize by ahelwer
July 18, 2024 22:43 24m 8s ahelwer:minor-script-changes
ahelwer:minor-script-changes
July 18, 2024 22:43 24m 8s
Use macOS runner, minor script debug output fixes Check Specs & Metadata #526: Pull request #149 opened by ahelwer
July 18, 2024 19:17 23m 33s ahelwer:minor-script-changes
ahelwer:minor-script-changes
July 18, 2024 19:17 23m 33s
tlaplus-dispatch Check Specs & Metadata #525: Repository dispatch triggered by lemmy
July 17, 2024 15:09 13m 14s
July 17, 2024 15:09 13m 14s
manual manual #1: Manually run by lemmy
July 17, 2024 02:05 3m 17s master
master
July 17, 2024 02:05 3m 17s
manual.yml offers a simple way to run TLC on the specs in run.sh. Check Specs & Metadata #524: Commit 8cef3cf pushed by lemmy
July 17, 2024 02:05 16m 49s master
master
July 17, 2024 02:05 16m 49s
manual.yml offers a simple way to run TLC on the specs in run.sh. Check Specs & Metadata #523: Commit 7666836 pushed by lemmy
July 17, 2024 02:04 16m 1s master
master
July 17, 2024 02:04 16m 1s
Verbose output for TLC runs Check Specs & Metadata #522: Commit 77abae3 pushed by lemmy
July 16, 2024 22:39 13m 57s master
master
July 16, 2024 22:39 13m 57s
Enable TLC's Java Assertions Check Specs & Metadata #521: Commit 590b0da pushed by lemmy
July 16, 2024 18:32 13m 28s master
master
July 16, 2024 18:32 13m 28s
tlaplus-dispatch Check Specs & Metadata #520: Repository dispatch triggered by lemmy
July 14, 2024 16:13 13m 11s
July 14, 2024 16:13 13m 11s
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