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

tlaplus-dispatch Check Specs & Metadata #467: Repository dispatch triggered by lemmy
April 20, 2024 13:26 12m 50s
April 20, 2024 13:26 12m 50s
Add Apalache to CI Check Specs & Metadata #466: Pull request #141 synchronize by ahelwer
April 20, 2024 05:12 12m 30s ahelwer:apalache-ci
ahelwer:apalache-ci
April 20, 2024 05:12 12m 30s
Add Apalache to CI Check Specs & Metadata #465: Pull request #141 synchronize by ahelwer
April 20, 2024 05:01 11m 32s ahelwer:apalache-ci
ahelwer:apalache-ci
April 20, 2024 05:01 11m 32s
Add Apalache to CI Check Specs & Metadata #464: Pull request #141 synchronize by ahelwer
April 20, 2024 04:48 11m 37s ahelwer:apalache-ci
ahelwer:apalache-ci
April 20, 2024 04:48 11m 37s
Add Apalache to CI Check Specs & Metadata #463: Pull request #141 synchronize by ahelwer
April 20, 2024 04:29 7m 13s ahelwer:apalache-ci
ahelwer:apalache-ci
April 20, 2024 04:29 7m 13s
Add Apalache to CI Check Specs & Metadata #462: Pull request #141 synchronize by ahelwer
April 20, 2024 04:25 1m 6s ahelwer:apalache-ci
ahelwer:apalache-ci
April 20, 2024 04:25 1m 6s
Add Apalache to CI Check Specs & Metadata #461: Pull request #141 synchronize by ahelwer
April 20, 2024 04:14 1m 7s ahelwer:apalache-ci
ahelwer:apalache-ci
April 20, 2024 04:14 1m 7s
Add Apalache to CI Check Specs & Metadata #460: Pull request #141 opened by ahelwer
April 20, 2024 04:12 1m 3s ahelwer:apalache-ci
ahelwer:apalache-ci
April 20, 2024 04:12 1m 3s
Upgrade to TLAUC 1.0.0 (#140) Check Specs & Metadata #459: Commit d05ce72 pushed by ahelwer
April 19, 2024 00:50 12m 24s master
master
April 19, 2024 00:50 12m 24s
Upgrade to TLAUC 1.0.0 Check Specs & Metadata #458: Pull request #140 opened by ahelwer
April 18, 2024 23:41 12m 46s ahelwer:update-tlauc
ahelwer:update-tlauc
April 18, 2024 23:41 12m 46s
Use tree-sitter-tlaplus prebuilt python package (#139) Check Specs & Metadata #457: Commit 4f8aec2 pushed by ahelwer
April 18, 2024 04:25 12m 59s master
master
April 18, 2024 04:25 12m 59s
Use prebuilt python package for tree-sitter-tlaplus Check Specs & Metadata #456: Pull request #139 synchronize by ahelwer
April 18, 2024 04:06 12m 35s ahelwer:ts-py-package
ahelwer:ts-py-package
April 18, 2024 04:06 12m 35s
Use prebuilt python package for tree-sitter-tlaplus Check Specs & Metadata #455: Pull request #139 synchronize by ahelwer
April 18, 2024 03:51 12m 18s ahelwer:ts-py-package
ahelwer:ts-py-package
April 18, 2024 03:51 12m 18s
Use prebuilt python package for tree-sitter-tlaplus Check Specs & Metadata #454: Pull request #139 synchronize by ahelwer
April 18, 2024 03:49 2m 26s ahelwer:ts-py-package
ahelwer:ts-py-package
April 18, 2024 03:49 2m 26s
Use prebuilt python package for tree-sitter-tlaplus Check Specs & Metadata #453: Pull request #139 synchronize by ahelwer
April 18, 2024 03:33 1m 1s ahelwer:ts-py-package
ahelwer:ts-py-package
April 18, 2024 03:33 1m 1s
Use prebuilt python package for tree-sitter-tlaplus Check Specs & Metadata #452: Pull request #139 opened by ahelwer
April 18, 2024 03:29 1m 4s ahelwer:ts-py-package
ahelwer:ts-py-package
April 18, 2024 03:29 1m 4s
pcal.trans can now handle utf8 (#138) Check Specs & Metadata #451: Commit 2722b27 pushed by lemmy
April 18, 2024 02:59 12m 53s master
master
April 18, 2024 02:59 12m 53s
pcal.trans can now handle utf8 Check Specs & Metadata #450: Pull request #138 opened by ahelwer
April 18, 2024 02:58 13m 11s ahelwer:pcal-utf8
ahelwer:pcal-utf8
April 18, 2024 02:58 13m 11s
tlaplus-dispatch Check Specs & Metadata #449: Repository dispatch triggered by lemmy
April 18, 2024 00:43 13m 8s
April 18, 2024 00:43 13m 8s
Remove pluscal checksums Check Specs & Metadata #448: Pull request #137 opened by ahelwer
April 14, 2024 17:48 13m 2s ahelwer:pcal-always-translate
ahelwer:pcal-always-translate
April 14, 2024 17:48 13m 2s
tlaplus-dispatch Check Specs & Metadata #447: Repository dispatch triggered by lemmy
April 11, 2024 21:28 12m 55s
April 11, 2024 21:28 12m 55s
tlaplus-dispatch Check Specs & Metadata #446: Repository dispatch triggered by lemmy
April 11, 2024 21:13 12m 57s
April 11, 2024 21:13 12m 57s
Test PlusCal translation in CI (#136) Check Specs & Metadata #445: Commit 41faafb pushed by ahelwer
April 11, 2024 00:04 12m 58s master
master
April 11, 2024 00:04 12m 58s
Test PlusCal translation in CI Check Specs & Metadata #444: Pull request #136 synchronize by ahelwer
April 10, 2024 23:48 12m 53s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 23:48 12m 53s
Test PlusCal translation in CI Check Specs & Metadata #443: Pull request #136 synchronize by ahelwer
April 10, 2024 23:42 4m 21s ahelwer:pcal-test
ahelwer:pcal-test
April 10, 2024 23:42 4m 21s
ProTip! You can narrow down the results and go further in time using created:<2024-04-10 or the other filters available.