Skip to content

TLA+ Trace validation #244

TLA+ Trace validation

TLA+ Trace validation #244

Re-run triggered April 11, 2024 07:28
Status Success
Total duration 1m 42s
Artifacts

test_amd64.yaml

on: pull_request
Matrix: test-linux-386 / run
Matrix: test-linux-amd64 / run
Fit to window
Zoom out
Zoom in