Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
428 workflow runs
428 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
tlaplus-dispatch Check Specs & Metadata #926: Repository dispatch triggered by lemmy
22m 19s
22m 19s
tlaplus-dispatch Check Specs & Metadata #925: Repository dispatch triggered by lemmy
22m 11s
22m 11s
CI: Use TLAUC --skip numsets instead of unicode_number_set_shim.py Check Specs & Metadata #924: Commit 0b69aea pushed by ahelwer
22m 38s master
master
22m 38s
CI: Use TLAUC --skip numsets instead of unicode_number_set_shim.py Check Specs & Metadata #923: Pull request #181 synchronize by ahelwer
22m 25s ahelwer:tlauc-skip-numsets
ahelwer:tlauc-skip-numsets
22m 25s
CI: Use TLAUC --skip numsets instead of unicode_number_set_shim.py Check Specs & Metadata #922: Pull request #181 opened by ahelwer
4m 59s ahelwer:tlauc-skip-numsets
ahelwer:tlauc-skip-numsets
4m 59s
Load manifests from outside examples repo Check Specs & Metadata #921: Commit a61fab6 pushed by ahelwer
22m 10s master
master
22m 10s
Documentation now reflects split manifest.json Check Specs & Metadata #920: Commit c19a200 pushed by ahelwer
22m 0s master
master
22m 0s
Split centralized manifest.json into per-spec manifest.json files Check Specs & Metadata #919: Pull request #180 synchronize by ahelwer
12m 12s ahelwer:split-manifest
ahelwer:split-manifest
12m 12s
Split centralized manifest.json into per-spec manifest.json files Check Specs & Metadata #918: Pull request #180 synchronize by ahelwer
23m 25s ahelwer:split-manifest
ahelwer:split-manifest
23m 25s
Split centralized manifest.json into per-spec manifest.json files Check Specs & Metadata #917: Pull request #180 opened by ahelwer
22m 33s ahelwer:split-manifest
ahelwer:split-manifest
22m 33s
Changed Moving Cat Puzzle & Prisoners models to follow naming convent… Check Specs & Metadata #915: Commit b6cb761 pushed by ahelwer
23m 22s master
master
23m 22s
Adding Barrier synchronization and Auxiliary Variable examples Check Specs & Metadata #914: Pull request #177 synchronize by JarodDif
22m 29s JarodDif:master
JarodDif:master
22m 29s
Adding Barrier synchronization and Auxiliary Variable examples Check Specs & Metadata #913: Pull request #177 synchronize by JarodDif
56s JarodDif:master
JarodDif:master
56s
Changed Moving Cat Puzzle & Prisoners models to follow naming conventions Check Specs & Metadata #911: Pull request #179 opened by ahelwer
22m 48s ahelwer:fix-model-names
ahelwer:fix-model-names
22m 48s
Adding Barrier synchronization and Auxiliary Variable examples Check Specs & Metadata #910: Pull request #177 synchronize by JarodDif
1m 3s JarodDif:master
JarodDif:master
1m 3s
Add scripts to CI validation Check Specs & Metadata #909: Pull request #178 opened by ahelwer
1m 1s ahelwer:jaroddif/master
ahelwer:jaroddif/master
1m 1s
Adding Barrier synchronization and Auxiliary Variable examples Check Specs & Metadata #908: Pull request #177 synchronize by JarodDif
1m 14s JarodDif:master
JarodDif:master
1m 14s
tlaplus-dispatch Check Specs & Metadata #906: Repository dispatch triggered by lemmy
22m 27s
22m 27s
tlaplus-dispatch Check Specs & Metadata #903: Repository dispatch triggered by lemmy
22m 4s
22m 4s
tlaplus-dispatch Check Specs & Metadata #902: Repository dispatch triggered by lemmy
24m 0s
24m 0s
Align with commit cf26a3a656cbbcad36e9cc166eb31a8fcb7912fd changing r… Check Specs & Metadata #901: Commit 286b6ca pushed by lemmy
23m 11s master
master
23m 11s
tlaplus-dispatch Check Specs & Metadata #900: Repository dispatch triggered by lemmy
21m 45s
21m 45s
Fix proofs (#175) Check Specs & Metadata #899: Commit ab9a2c3 pushed by muenchnerkindl
23m 27s master
master
23m 27s
tlaplus-dispatch Check Specs & Metadata #898: Repository dispatch triggered by lemmy
23m 44s
23m 44s
Fix proofs Check Specs & Metadata #897: Pull request #175 synchronize by muenchnerkindl
24m 38s fixProofs
fixProofs
24m 38s
ProTip! You can narrow down the results and go further in time using created:<2025-07-02 or the other filters available.