Skip to content

TLA+ Trace validation #108

TLA+ Trace validation

TLA+ Trace validation #108

Re-run triggered February 6, 2024 15:33
Status Success
Total duration 1m 13s
Artifacts

test_amd64.yaml

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