Skip to content

Actions: tlaplus/tlaplus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add JPF verification for the DiskStateQueue pool-writer protocol. TLA+ PR Validation #1622: Pull request #1405 synchronize by lemmy
14m 30s mku-gh1403
mku-gh1403
14m 30s
Add JPF verification for the DiskStateQueue pool-writer protocol. TLC JPF Tests #78: Pull request #1405 synchronize by lemmy
3m 29s mku-gh1403
mku-gh1403
3m 29s
Use FileUtil to clean up disk writer tests TLC JPF Tests #77: Commit 94ec883 pushed by lemmy
3m 10s mku-gh1403
mku-gh1403
3m 10s
Add JPF verification for the DiskStateQueue pool-writer protocol. TLC JPF Tests #76: Pull request #1405 synchronize by lemmy
3m 33s mku-gh1403
mku-gh1403
3m 33s
Add JPF verification for the DiskStateQueue pool-writer protocol. TLA+ PR Validation #1621: Pull request #1405 synchronize by lemmy
18m 12s mku-gh1403
mku-gh1403
18m 12s
Add JPF verification for the DiskStateQueue pool-writer protocol. TLC JPF Tests #75: Commit fee5fd7 pushed by lemmy
4m 12s mku-gh1403
mku-gh1403
4m 12s
Add JPF verification for the DiskStateQueue pool-writer protocol. TLA+ PR Validation #1620: Pull request #1405 opened by lemmy
18m 20s mku-gh1403
mku-gh1403
18m 20s
Prevent disk pool writers from exiting on empty wakes TLA+ PR Validation #1619: Pull request #1404 synchronize by pdeva
18m 18s pdeva:agent/fix-state-pool-writer-empty-wake
pdeva:agent/fix-state-pool-writer-empty-wake
18m 18s
Fix and document TLC's coverage statistics TLA+ PR Validation #1618: Pull request #1402 synchronize by lemmy
23m 21s mku-cov
mku-cov
23m 21s
Vendored JAR Dependency Submission Vendored JAR Dependency Submission #6: Scheduled
9s master
master
9s
Fix and document TLC's coverage statistics TLA+ PR Validation #1617: Pull request #1402 synchronize by lemmy
23m 28s mku-cov
mku-cov
23m 28s
Prevent disk pool writers from exiting on empty wakes TLA+ PR Validation #1616: Pull request #1404 opened by pdeva
19m 3s pdeva:agent/fix-state-pool-writer-empty-wake
pdeva:agent/fix-state-pool-writer-empty-wake
19m 3s
Fix and document TLC's coverage statistics TLA+ PR Validation #1615: Pull request #1402 synchronize by lemmy
23m 12s mku-cov
mku-cov
23m 12s
Fix and document TLC's coverage statistics TLA+ PR Validation #1614: Pull request #1402 opened by lemmy
24m 18s mku-cov
mku-cov
24m 18s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1613: Pull request #1401 synchronize by lemmy
23m 30s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
23m 30s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1612: Pull request #1401 synchronize by lemmy
22m 47s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
22m 47s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1611: Pull request #1401 synchronize by lemmy
1m 58s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
1m 58s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1610: Pull request #1401 synchronize by lemmy
1m 21s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
1m 21s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1609: Pull request #1401 synchronize by lemmy
24m 55s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
24m 55s
Running Copilot Code Review Copilot #3: by Copilot AI
6m 12s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
6m 12s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1608: Pull request #1401 synchronize by lemmy
4m 6s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
4m 6s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1607: Pull request #1401 synchronize by lemmy
24m 16s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
24m 16s
Document TLC's _POSSIBLE feature. CI #1207: Commit 0894c34 pushed by lemmy
23m 51s master
master
23m 51s
pages build and deployment pages-build-deployment #164: by lemmy
44s master
master
44s
SANY: reproducers for error formatting, subexpression, and XML export bugs TLA+ PR Validation #1606: Pull request #1401 synchronize by lemmy
24m 36s mku-sany-tlapm-reproducers
mku-sany-tlapm-reproducers
24m 36s