Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
453 workflow runs
453 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Check Specs & Metadata #948: Repository dispatch triggered by lemmy
August 15, 2025 17:52 33m 2s
August 15, 2025 17:52 33m 2s
tlaplus-dispatch Check Specs & Metadata #947: Repository dispatch triggered by lemmy
August 15, 2025 12:52 31m 9s
August 15, 2025 12:52 31m 9s
tlaplus-dispatch Check Specs & Metadata #946: Repository dispatch triggered by lemmy
August 14, 2025 13:03 32m 12s
August 14, 2025 13:03 32m 12s
tlaplus-dispatch Check Specs & Metadata #945: Repository dispatch triggered by lemmy
August 11, 2025 21:14 31m 26s
August 11, 2025 21:14 31m 26s
Manifest: remove path, title, and description fields CI for EWD998 Trace Validation #56: Commit cad798e pushed by ahelwer
August 9, 2025 01:15 11m 23s master
master
August 9, 2025 01:15 11m 23s
Manifest: remove path, title, and description fields Check Specs & Metadata #944: Commit cad798e pushed by ahelwer
August 9, 2025 01:15 30m 38s master
master
August 9, 2025 01:15 30m 38s
Manifest: remove path, title, and description fields CI for EWD998 Trace Validation #55: Pull request #185 synchronize by ahelwer
August 9, 2025 00:44 11m 31s ahelwer:manifest-remove-fields
ahelwer:manifest-remove-fields
August 9, 2025 00:44 11m 31s
Manifest: remove path, title, and description fields Check Specs & Metadata #943: Pull request #185 synchronize by ahelwer
August 9, 2025 00:44 29m 59s ahelwer:manifest-remove-fields
ahelwer:manifest-remove-fields
August 9, 2025 00:44 29m 59s
Manifest: remove path, title, and description fields Check Specs & Metadata #942: Pull request #185 synchronize by ahelwer
August 9, 2025 00:41 1m 14s ahelwer:manifest-remove-fields
ahelwer:manifest-remove-fields
August 9, 2025 00:41 1m 14s
Manifest: remove path, title, and description fields CI for EWD998 Trace Validation #54: Pull request #185 synchronize by ahelwer
August 9, 2025 00:41 14m 27s ahelwer:manifest-remove-fields
ahelwer:manifest-remove-fields
August 9, 2025 00:41 14m 27s
Manifest: remove path, title, and description fields Check Specs & Metadata #941: Pull request #185 opened by ahelwer
August 9, 2025 00:35 5m 36s ahelwer:manifest-remove-fields
ahelwer:manifest-remove-fields
August 9, 2025 00:35 5m 36s
Manifest: remove path, title, and description fields CI for EWD998 Trace Validation #53: Pull request #185 opened by ahelwer
August 9, 2025 00:35 10m 10s ahelwer:manifest-remove-fields
ahelwer:manifest-remove-fields
August 9, 2025 00:35 10m 10s
Added B-tree spec to CI validation Check Specs & Metadata #940: Commit b209722 pushed by ahelwer
August 8, 2025 22:08 29m 40s master
master
August 8, 2025 22:08 29m 40s
Add Lorin's B-tree example from previously-closed PR Check Specs & Metadata #939: Pull request #184 opened by ahelwer
August 8, 2025 21:32 28m 56s ahelwer:btree
ahelwer:btree
August 8, 2025 21:32 28m 56s
Added barrier and peterson's algorithm specs to CI Check Specs & Metadata #938: Commit 18c5810 pushed by ahelwer
August 8, 2025 21:29 28m 23s master
master
August 8, 2025 21:29 28m 23s
Added barrier and peterson's algorithm specs to CI Check Specs & Metadata #937: Pull request #183 synchronize by ahelwer
August 8, 2025 20:57 29m 43s ahelwer:ci-barrier-petersons
ahelwer:ci-barrier-petersons
August 8, 2025 20:57 29m 43s
Added barrier and peterson's algorithm specs to CI Check Specs & Metadata #936: Pull request #183 synchronize by ahelwer
August 8, 2025 20:43 1m 26s ahelwer:ci-barrier-petersons
ahelwer:ci-barrier-petersons
August 8, 2025 20:43 1m 26s
Added barrier and peterson's algorithm specs to CI Check Specs & Metadata #935: Pull request #183 opened by ahelwer
August 8, 2025 20:18 25m 20s ahelwer:ci-barrier-petersons
ahelwer:ci-barrier-petersons
August 8, 2025 20:18 25m 20s
Removed model (.cfg) file features from manifests (#182) Check Specs & Metadata #934: Commit 4414f33 pushed by ahelwer
August 7, 2025 20:42 23m 15s master
master
August 7, 2025 20:42 23m 15s
Removed model (.cfg) file features from manifests (#182) CI for EWD998 Trace Validation #52: Commit 4414f33 pushed by ahelwer
August 7, 2025 20:42 9m 35s master
master
August 7, 2025 20:42 9m 35s
Removed model (.cfg) file features from manifests CI for EWD998 Trace Validation #51: Pull request #182 opened by ahelwer
August 7, 2025 20:10 12m 36s ahelwer:remove-model-features
ahelwer:remove-model-features
August 7, 2025 20:10 12m 36s
Removed model (.cfg) file features from manifests Check Specs & Metadata #933: Pull request #182 opened by ahelwer
August 7, 2025 20:10 22m 51s ahelwer:remove-model-features
ahelwer:remove-model-features
August 7, 2025 20:10 22m 51s
Adding Barrier synchronization and Auxiliary Variable examples (#177) Check Specs & Metadata #932: Commit 11c7cd8 pushed by ahelwer
August 7, 2025 19:06 23m 2s master
master
August 7, 2025 19:06 23m 2s
tlaplus-dispatch Check Specs & Metadata #931: Repository dispatch triggered by lemmy
August 6, 2025 20:49 23m 23s
August 6, 2025 20:49 23m 23s
Adding Barrier synchronization and Auxiliary Variable examples Check Specs & Metadata #930: Pull request #177 synchronize by JarodDif
August 6, 2025 16:00 22m 38s JarodDif:master
JarodDif:master
August 6, 2025 16:00 22m 38s