Skip to content

TLA+ Trace validation #241

TLA+ Trace validation

TLA+ Trace validation #241

Re-run triggered April 10, 2024 07:35
Status Success
Total duration 1m 26s
Artifacts

test_amd64.yaml

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