Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
918 workflow runs
918 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix debugger expression evaluation for scoped identifiers TLA+ PR Validation #1206: Pull request #1276 opened by Qian-Cheng-nju
28m 23s Qian-Cheng-nju:fix/debugger-expression-context-lookup
Qian-Cheng-nju:fix/debugger-expression-context-lookup
28m 23s
Expose -dumptrace json output.json functionality as Debug & Watch CI #1105: Commit 3e083e3 pushed by lemmy
1h 10m 33s master
master
1h 10m 33s
pages build and deployment pages-build-deployment #71: by lemmy
40s master
master
40s
Copilot code review Copilot code review #8: by Copilot AI
5m 17s refs/pull/1274/head
refs/pull/1274/head
5m 17s
Debug Expression that serialize the current trace in different formats TLA+ PR Validation #1205: Pull request #1274 synchronize by lemmy
28m 18s mku-DAPExpressions
mku-DAPExpressions
28m 18s
Copilot code review Copilot code review #7: by Copilot AI
4m 26s refs/pull/1274/head
refs/pull/1274/head
4m 26s
Debug Expression that serialize the current trace in different formats TLA+ PR Validation #1204: Pull request #1274 synchronize by lemmy
29m 52s mku-DAPExpressions
mku-DAPExpressions
29m 52s
Debug Expression that serialize the current trace in different formats TLA+ PR Validation #1203: Pull request #1274 synchronize by lemmy
20m 59s mku-DAPExpressions
mku-DAPExpressions
20m 59s
Copilot code review Copilot code review #6: by Copilot AI
5m 10s refs/pull/1274/head
refs/pull/1274/head
5m 10s
Debug Expression that serialize the current trace in different formats TLA+ PR Validation #1202: Pull request #1274 synchronize by lemmy
5m 25s mku-DAPExpressions
mku-DAPExpressions
5m 25s
Debug Expression that serialize the current trace in different formats TLA+ PR Validation #1201: Pull request #1274 synchronize by lemmy
28m 46s mku-DAPExpressions
mku-DAPExpressions
28m 46s
Evaluate breakpoint expression also for set of initial states. CI #1104: Commit ce6acb1 pushed by lemmy
1h 17m 26s master
master
1h 17m 26s
pages build and deployment pages-build-deployment #70: by lemmy
40s master
master
40s
Copilot code review Copilot code review #5: by Copilot AI
4m 35s refs/pull/1275/head
refs/pull/1275/head
4m 35s
Halt (break) on Init and Next when Next is FALSE or the breakpoint condition for Init evaluates to TRUE TLA+ PR Validation #1200: Pull request #1275 synchronize by lemmy
30m 4s mku-DAPHaltOnNextFalse
mku-DAPHaltOnNextFalse
30m 4s
Copilot code review Copilot code review #4: by Copilot AI
5m 12s refs/pull/1275/head
refs/pull/1275/head
5m 12s
Halt (break) on Init and Next when Next is FALSE or the breakpoint condition for Init evaluates to TRUE TLA+ PR Validation #1199: Pull request #1275 opened by lemmy
18m 9s mku-DAPHaltOnNextFalse
mku-DAPHaltOnNextFalse
18m 9s
Debug Expression that serialize the current trace in different formats TLA+ PR Validation #1198: Pull request #1274 opened by lemmy
31m 28s mku-DAPExpressions
mku-DAPExpressions
31m 28s
Unify Watch and Debug expressions. CI #1103: Commit 0342d1c pushed by lemmy
1h 8m 54s master
master
1h 8m 54s
pages build and deployment pages-build-deployment #69: by lemmy
38s master
master
38s
Interactive State-Space Navigation with Successor Selection and Backtracking TLA+ PR Validation #1197: Pull request #1270 synchronize by lemmy
27m 43s mku-DAPStateSpaceExploration
mku-DAPStateSpaceExploration
27m 43s
Interactive State-Space Navigation with Successor Selection and Backtracking TLA+ PR Validation #1196: Pull request #1270 synchronize by lemmy
30m 1s mku-DAPStateSpaceExploration
mku-DAPStateSpaceExploration
30m 1s
Interactive State-Space Navigation with Successor Selection and Backtracking TLA+ PR Validation #1195: Pull request #1270 synchronize by lemmy
29m 34s mku-DAPStateSpaceExploration
mku-DAPStateSpaceExploration
29m 34s
Performance Tests TLC Performance Tests TLC #177: Scheduled
9h 46m 54s master
master
9h 46m 54s
Interactive State-Space Navigation with Successor Selection and Backtracking TLA+ PR Validation #1194: Pull request #1270 synchronize by lemmy
28m 16s mku-DAPStateSpaceExploration
mku-DAPStateSpaceExploration
28m 16s