Skip to content

TLA+ Trace validation #236

TLA+ Trace validation

TLA+ Trace validation #236

Re-run triggered April 7, 2024 08:29
Status Success
Total duration 1m 24s
Artifacts

test_amd64.yaml

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