Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
407 workflow runs
407 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch Check Specs & Metadata #480: Repository dispatch triggered by lemmy
May 30, 2024 16:38 12m 50s
May 30, 2024 16:38 12m 50s
tlaplus-dispatch Check Specs & Metadata #479: Repository dispatch triggered by lemmy
May 20, 2024 18:37 14m 9s
May 20, 2024 18:37 14m 9s
Fixed deprecated API call in python scripts Check Specs & Metadata #478: Commit 5348370 pushed by ahelwer
May 15, 2024 21:28 12m 39s master
master
May 15, 2024 21:28 12m 39s
Update python scripts in response to breaking change in tree-sitter p… Check Specs & Metadata #477: Commit f7031f4 pushed by ahelwer
May 15, 2024 21:08 12m 35s master
master
May 15, 2024 21:08 12m 35s
Fix Python scripts in response to breaking tree-sitter API change Check Specs & Metadata #476: Pull request #144 opened by ahelwer
May 15, 2024 20:49 12m 26s ahelwer:fix-python-scripts
ahelwer:fix-python-scripts
May 15, 2024 20:49 12m 26s
Add DOI of paper where ClientCentric TLA+ specifications are document… Check Specs & Metadata #475: Commit d3bbb8d pushed by ahelwer
May 13, 2024 15:08 12m 27s master
master
May 13, 2024 15:08 12m 27s
Add DOI of paper where ClientCentric TLA+ specifications are documented Check Specs & Metadata #474: Pull request #143 synchronize by TimSoethout
May 13, 2024 11:28 12m 56s TimSoethout:patch-1
TimSoethout:patch-1
May 13, 2024 11:28 12m 56s
tlaplus-dispatch Check Specs & Metadata #472: Repository dispatch triggered by lemmy
May 8, 2024 15:28 12m 28s
May 8, 2024 15:28 12m 28s
tlaplus-dispatch Check Specs & Metadata #471: Repository dispatch triggered by lemmy
April 27, 2024 22:55 12m 39s
April 27, 2024 22:55 12m 39s
Parse all translated unicode specs (#142) Check Specs & Metadata #470: Commit 75167b6 pushed by ahelwer
April 23, 2024 20:03 12m 43s master
master
April 23, 2024 20:03 12m 43s
Parse all translated unicode specs Check Specs & Metadata #469: Pull request #142 opened by ahelwer
April 23, 2024 19:44 12m 51s ahelwer:translate-num-set
ahelwer:translate-num-set
April 23, 2024 19:44 12m 51s
Add Apalache to CI (#141) CI for EWD998 Trace Validation #26: Commit 7c8ceab pushed by ahelwer
April 20, 2024 14:47 15m 40s 1.1.0
1.1.0
April 20, 2024 14:47 15m 40s
Add Apalache to CI (#141) Check Specs & Metadata #468: Commit 7c8ceab pushed by ahelwer
April 20, 2024 14:30 12m 28s master
master
April 20, 2024 14:30 12m 28s
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
ProTip! You can narrow down the results and go further in time using created:<2024-04-18 or the other filters available.