Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,142 workflow runs
1,142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Skip EWD998ChanTrace model that does not run because it doesn't find … CI #681: Commit d1504b6 pushed by lemmy
April 8, 2024 00:43 32m 47s master
master
April 8, 2024 00:43 32m 47s
Add unicode support to SANY TLA+ PR Validation #202: Pull request #896 synchronize by ahelwer
April 7, 2024 14:09 11m 53s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
April 7, 2024 14:09 11m 53s
Add unicode support to SANY TLA+ PR Validation #201: Pull request #896 synchronize by ahelwer
April 7, 2024 13:25 10m 16s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
April 7, 2024 13:25 10m 16s
Use JavaCC to generate TLA+ parser files during build (#876) CI #680: Commit 0f27f0b pushed by Calvin-L
April 5, 2024 00:21 30m 11s master
master
April 5, 2024 00:21 30m 11s
Run JavaCC at build to generate TLA+ parser files TLA+ PR Validation #200: Pull request #876 synchronize by ahelwer
April 4, 2024 22:37 7m 26s ahelwer:javacc-gen-at-build
ahelwer:javacc-gen-at-build
April 4, 2024 22:37 7m 26s
Parallelize unit tests (#902) CI #679: Commit 704bd4d pushed by Calvin-L
April 4, 2024 22:25 30m 48s master
master
April 4, 2024 22:25 30m 48s
Parallelize unit tests TLA+ PR Validation #199: Pull request #902 synchronize by ahelwer
April 4, 2024 17:48 12m 53s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 4, 2024 17:48 12m 53s
Parallelize unit tests TLA+ PR Validation #198: Pull request #902 synchronize by ahelwer
April 3, 2024 14:41 11m 40s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 3, 2024 14:41 11m 40s
Parallelize unit tests TLA+ PR Validation #197: Pull request #902 synchronize by ahelwer
April 3, 2024 00:04 11m 39s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 3, 2024 00:04 11m 39s
Parallelize unit tests TLA+ PR Validation #196: Pull request #902 synchronize by ahelwer
April 2, 2024 23:52 11m 52s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 2, 2024 23:52 11m 52s
Parallelize unit tests TLA+ PR Validation #195: Pull request #902 synchronize by ahelwer
April 2, 2024 23:47 11m 29s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 2, 2024 23:47 11m 29s
Parallelize unit tests TLA+ PR Validation #194: Pull request #902 synchronize by ahelwer
April 2, 2024 22:32 11m 42s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 2, 2024 22:32 11m 42s
Parallelize unit tests TLA+ PR Validation #193: Pull request #902 synchronize by ahelwer
April 2, 2024 22:18 11m 50s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 2, 2024 22:18 11m 50s
Parallelize unit tests TLA+ PR Validation #192: Pull request #902 synchronize by ahelwer
April 2, 2024 18:05 12m 24s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 2, 2024 18:05 12m 24s
Parallelize unit tests TLA+ PR Validation #191: Pull request #902 synchronize by ahelwer
April 2, 2024 17:59 11m 35s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 2, 2024 17:59 11m 35s
Parallelize unit tests TLA+ PR Validation #190: Pull request #902 opened by ahelwer
April 2, 2024 14:41 11m 40s ahelwer:ant-parallel-task
ahelwer:ant-parallel-task
April 2, 2024 14:41 11m 40s
Run JavaCC at build to generate TLA+ parser files TLA+ PR Validation #189: Pull request #876 synchronize by ahelwer
April 1, 2024 18:56 15m 17s ahelwer:javacc-gen-at-build
ahelwer:javacc-gen-at-build
April 1, 2024 18:56 15m 17s
Run JavaCC at build to generate TLA+ parser files TLA+ PR Validation #188: Pull request #876 synchronize by ahelwer
April 1, 2024 18:52 13m 6s ahelwer:javacc-gen-at-build
ahelwer:javacc-gen-at-build
April 1, 2024 18:52 13m 6s
Add unicode support to SANY TLA+ PR Validation #187: Pull request #896 synchronize by ahelwer
April 1, 2024 18:35 15m 25s ahelwer:try-add-unicode-op
ahelwer:try-add-unicode-op
April 1, 2024 18:35 15m 25s
Parallelize PR CI workflow (#900) CI #678: Commit 698cb8a pushed by lemmy
April 1, 2024 18:13 1h 27m 41s master
master
April 1, 2024 18:13 1h 27m 41s
Parallelize PR CI workflow TLA+ PR Validation #186: Pull request #900 synchronize by ahelwer
April 1, 2024 17:25 15m 14s ahelwer:parallel-pr-ci
ahelwer:parallel-pr-ci
April 1, 2024 17:25 15m 14s
Parallelize PR CI workflow TLA+ PR Validation #185: Pull request #900 synchronize by ahelwer
April 1, 2024 16:11 15m 9s ahelwer:parallel-pr-ci
ahelwer:parallel-pr-ci
April 1, 2024 16:11 15m 9s
Parallelize PR CI workflow TLA+ PR Validation #184: Pull request #900 synchronize by ahelwer
April 1, 2024 16:05 15m 17s ahelwer:parallel-pr-ci
ahelwer:parallel-pr-ci
April 1, 2024 16:05 15m 17s
Parallelize PR CI workflow TLA+ PR Validation #183: Pull request #900 synchronize by ahelwer
April 1, 2024 16:03 Startup failure ahelwer:parallel-pr-ci
ahelwer:parallel-pr-ci
April 1, 2024 16:03 Startup failure
Parallelize PR CI workflow TLA+ PR Validation #182: Pull request #900 opened by ahelwer
March 31, 2024 17:54 15m 1s ahelwer:parallel-pr-ci
ahelwer:parallel-pr-ci
March 31, 2024 17:54 15m 1s
ProTip! You can narrow down the results and go further in time using created:<2024-03-31 or the other filters available.