Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
413 workflow runs
413 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Expand CONTRIBUTING.md (#936) CI #697: Commit 10033c2 pushed by lemmy
June 11, 2024 00:57 56m 17s master
master
June 11, 2024 00:57 56m 17s
Fix compiler error introduced by recent refactoring that assumes a newer CI #696: Commit 225f50f pushed by lemmy
June 10, 2024 22:33 54m 9s master
master
June 10, 2024 22:33 54m 9s
Remove e4 tools from the Eclipse development environment setup. CI #695: Commit 2c4b67b pushed by lemmy
June 10, 2024 22:23 55m 58s master
master
June 10, 2024 22:23 55m 58s
Remove everything AspectJ from the TLA Tools+ and Toolbox projects. (… CI #694: Commit a3c593c pushed by lemmy
June 10, 2024 22:15 54m 37s master
master
June 10, 2024 22:15 54m 37s
Remove everything AspectJ from the TLA Tools+ and Toolbox projects. TLA+ PR Validation #293: Pull request #940 synchronize by lemmy
June 10, 2024 21:07 12m 34s mku-RemoveAOP
mku-RemoveAOP
June 10, 2024 21:07 12m 34s
Remove everything AspectJ from the TLA Tools+ and Toolbox projects. TLA+ PR Validation #292: Pull request #940 synchronize by lemmy
June 10, 2024 21:03 5m 20s mku-RemoveAOP
mku-RemoveAOP
June 10, 2024 21:03 5m 20s
Remove everything AspectJ from the TLA Tools+ and Toolbox projects. TLA+ PR Validation #291: Pull request #940 opened by lemmy
June 10, 2024 20:51 12m 18s mku-RemoveAOP
mku-RemoveAOP
June 10, 2024 20:51 12m 18s
Rework BufferedRandomAccessFile TLA+ PR Validation #290: Pull request #907 synchronize by Calvin-L
June 10, 2024 20:32 12m 28s cal-gh835-bufferedrandomaccessfile
cal-gh835-bufferedrandomaccessfile
June 10, 2024 20:32 12m 28s
Fix compiler error introduced by recent refactoring that assumes a newer TLA+ PR Validation #289: Pull request #939 opened by lemmy
June 10, 2024 18:50 12m 37s mku-easymock2.4.0
mku-easymock2.4.0
June 10, 2024 18:50 12m 37s
Expand README.md TLA+ PR Validation #288: Pull request #935 synchronize by ahelwer
June 9, 2024 23:43 12m 28s ahelwer:contributing-updates
ahelwer:contributing-updates
June 9, 2024 23:43 12m 28s
Expand DEVELOPING.md TLA+ PR Validation #287: Pull request #938 synchronize by ahelwer
June 9, 2024 23:43 12m 20s ahelwer:developing-docs-update
ahelwer:developing-docs-update
June 9, 2024 23:43 12m 20s
Expand DEVELOPING.md TLA+ PR Validation #286: Pull request #938 synchronize by ahelwer
June 8, 2024 22:59 12m 27s ahelwer:developing-docs-update
ahelwer:developing-docs-update
June 8, 2024 22:59 12m 27s
Expand CONTRIBUTING.md TLA+ PR Validation #285: Pull request #936 synchronize by ahelwer
June 8, 2024 22:54 12m 13s ahelwer:contributing-updates-2
ahelwer:contributing-updates-2
June 8, 2024 22:54 12m 13s
Expand DEVELOPING.md TLA+ PR Validation #284: Pull request #938 opened by ahelwer
June 8, 2024 22:53 12m 27s ahelwer:developing-docs-update
ahelwer:developing-docs-update
June 8, 2024 22:53 12m 27s
Expand CONTRIBUTING.md TLA+ PR Validation #283: Pull request #936 synchronize by ahelwer
June 8, 2024 22:30 12m 24s ahelwer:contributing-updates-2
ahelwer:contributing-updates-2
June 8, 2024 22:30 12m 24s
Set up a PlusCal universal syntax corpus test framework TLA+ PR Validation #282: Pull request #937 synchronize by ahelwer
June 8, 2024 19:10 12m 24s ahelwer:test-pcal
ahelwer:test-pcal
June 8, 2024 19:10 12m 24s
Set up a PlusCal universal syntax corpus test framework TLA+ PR Validation #281: Pull request #937 opened by ahelwer
June 8, 2024 19:03 12m 28s ahelwer:test-pcal
ahelwer:test-pcal
June 8, 2024 19:03 12m 28s
Treat warnings as errors in main compile target TLA+ PR Validation #280: Pull request #931 synchronize by ahelwer
June 8, 2024 18:52 12m 27s ahelwer:fix-more-warnings
ahelwer:fix-more-warnings
June 8, 2024 18:52 12m 27s
Expand README.md TLA+ PR Validation #279: Pull request #935 synchronize by ahelwer
June 8, 2024 16:07 12m 23s ahelwer:contributing-updates
ahelwer:contributing-updates
June 8, 2024 16:07 12m 23s
Expand CONTRIBUTING.md TLA+ PR Validation #278: Pull request #936 synchronize by ahelwer
June 8, 2024 16:06 12m 55s ahelwer:contributing-updates-2
ahelwer:contributing-updates-2
June 8, 2024 16:06 12m 55s
Expand CONTRIBUTING.md TLA+ PR Validation #277: Pull request #936 synchronize by ahelwer
June 8, 2024 15:59 12m 25s ahelwer:contributing-updates-2
ahelwer:contributing-updates-2
June 8, 2024 15:59 12m 25s
Expand CONTRIBUTING.md TLA+ PR Validation #276: Pull request #936 synchronize by ahelwer
June 7, 2024 23:58 12m 20s ahelwer:contributing-updates-2
ahelwer:contributing-updates-2
June 7, 2024 23:58 12m 20s
Expand README.md TLA+ PR Validation #275: Pull request #935 synchronize by ahelwer
June 7, 2024 23:56 12m 32s ahelwer:contributing-updates
ahelwer:contributing-updates
June 7, 2024 23:56 12m 32s
Expand README.md TLA+ PR Validation #274: Pull request #935 synchronize by ahelwer
June 7, 2024 23:53 12m 38s ahelwer:contributing-updates
ahelwer:contributing-updates
June 7, 2024 23:53 12m 38s
Expand CONTRIBUTING.md TLA+ PR Validation #273: Pull request #936 opened by ahelwer
June 7, 2024 22:30 12m 41s ahelwer:contributing-updates-2
ahelwer:contributing-updates-2
June 7, 2024 22:30 12m 41s