[Provisional] Support for running the TLA+ debugger with multiple workers (part 2) #664
lemmypr.yml
on: pull_request
Matrix: Examples Integration Tests
Matrix: TLA+ Tools Build & Test
Matrix: Eclipse Toolbox Build & Test
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
testresults-macos-latest
|
3.77 MB |
|
|
testresults-ubuntu-latest
|
3.65 MB |
|