8000 Workflow runs · tlaplus/tlaplus · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed JavaCC warnings introduced by Unicode work CI #1030: Commit db191cc pushed by Calvin-L
June 5, 2025 19:47 58m 39s master
master
June 5, 2025 19:47 58m 39s
pages build and deployment pages-build-deployment #15: by Calvin-L
June 5, 2025 19:47 43s master
master
June 5, 2025 19:47 43s
Performance Tests TLC Performance Tests TLC #160: Scheduled
June 5, 2025 05:57 9h 48m 53s master
master
June 5, 2025 05:57 9h 48m 53s
Performance Tests TLC Performance Tests TLC #159: Scheduled
May 29, 2025 05:57 9h 48m 50s master
master
May 29, 2025 05:57 9h 48m 50s
When an invariant is violated, show the values of any \A-bound names TLA+ PR Validation #937: Pull request #1180 synchronize by Calvin-L
May 23, 2025 20:07 27m 44s cal-improve-invariant-explanation
cal-improve-invariant-explanation
May 23, 2025 20:07 27m 44s
When an invariant is violated, show the values of any \A-bound names TLA+ PR Validation #936: Pull request #1180 synchronize by Calvin-L
May 23, 2025 20:06 1m 30s cal-improve-invariant-explanation
cal-improve-invariant-explanation
May 23, 2025 20:06 1m 30s
Performance Tests TLC Performance Tests TLC #158: Scheduled
May 22, 2025 05:57 9h 46m 29s master
master
May 22, 2025 05:57 9h 46m 29s
Report distinct variable values observed in TLC coverage statistics. CI #1029: Commit 96056d9 pushed by lemmy
May 20, 2025 03:11 58m 57s master
master
May 20, 2025 03:11 58m 57s
pages build and deployment pages-build-deployment #14: by lemmy
May 20, 2025 03:11 40s master
master
May 20, 2025 03:11 40s
Support unbalanced backticks in string literals (fixes #802) TLA+ PR Validation #935: Pull request #1190 synchronize by moiseev
May 20, 2025 01:44 Action required moiseev:unbalanced-backticks
moiseev:unbalanced-backticks
May 20, 2025 01:44 Action required
Support unbalanced backticks in string literals (fixes #802) TLA+ PR Validation #934: Pull request #1190 synchronize by moiseev
May 20, 2025 01:41 Action required moiseev:unbalanced-backticks
moiseev:unbalanced-backticks
May 20, 2025 01:41 Action required
Add variable coverage to -coverage output TLA+ PR Validation #933: Pull request #1183 synchronize by lemmy
May 20, 2025 01:25 26m 57s mku-ExplainModuleCoverage
mku-ExplainModuleCoverage
May 20, 2025 01:25 26m 57s
Support unbalanced backticks in string literals (fixes #802) TLA+ PR Validation #932: Pull request #1190 opened by moiseev
May 19, 2025 21:07 Action required moiseev:unbalanced-backticks
moiseev:unbalanced-backticks
May 19, 2025 21:07 Action required
Add variable coverage to -coverage output TLA+ PR Validation #931: Pull request #1183 synchronize by lemmy
May 19, 2025 21:05 27m 18s mku-ExplainModuleCoverage
mku-ExplainModuleCoverage
May 19, 2025 21:05 27m 18s
Raise warning when symbol appears in Records. CI #1028: Commit 96778df pushed by lemmy
May 19, 2025 20:02 57m 25s master
master
May 19, 2025 20:02 57m 25s
pages build and deployment pages-build-deployment #13: by lemmy
May 19, 2025 20:02 40s master
master
May 19, 2025 20:02 40s
Raise warning when symbol appears in Records. TLA+ PR Validation #930: Pull request #1189 synchronize by lemmy
May 19, 2025 19:34 27m 25s mku-gh1184
mku-gh1184
May 19, 2025 19:34 27m 25s
Raise warning when symbol appears in Records. TLA+ PR Validation #929: Pull request #1189 synchronize by lemmy
May 19, 2025 19:14 20m 57s mku-gh1184
mku-gh1184
May 19, 2025 19:14 20m 57s
Raise warning when symbol appears in Records. TLA+ PR Validation #928: Pull request #1189 synchronize by lemmy
May 19, 2025 18:50 13m 3s mku-gh1184
mku-gh1184
May 19, 2025 18:50 13m 3s
Raise warning when symbol appears in Records. TLA+ PR Validation #927: Pull request #1189 synchronize by lemmy
May 19, 2025 18:26 24m 54s mku-gh1184
mku-gh1184
May 19, 2025 18:26 24m 54s
Raise warning when symbol appears in Records. TLA+ PR Validation #926: Pull request #1189 opened by lemmy
May 19, 2025 18:12 13m 29s mku-gh1184
mku-gh1184
May 19, 2025 18:12 13m 29s
Fixed JavaCC warnings introduced by Unicode work TLA+ PR Validation #925: Pull request #1188 synchronize by ahelwer
May 16, 2025 21:12 27m 39s ahelwer:javacc-warnings
ahelwer:javacc-warnings
May 16, 2025 21:12 27m 39s
Fixed JavaCC warnings introduced by Unicode work TLA+ PR Validation #924: Pull request #1188 opened by ahelwer
May 16, 2025 17:29 27m 54s ahelwer:javacc-warnings
ahelwer:javacc-warnings
May 16, 2025 17:29 27m 54s
Add variable coverage to -coverage output TLA+ PR Validation #923: Pull request #1183 synchronize by lemmy
May 16, 2025 00:08 27m 45s mku-ExplainModuleCoverage
mku-ExplainModuleCoverage
May 16, 2025 00:08 27m 45s
tlaplus-dispatch CI #1027: Repository dispatch triggered by lemmy
May 15, 2025 20:26 55m 21s
May 15, 2025 20:26 55m 21s
0