Skip to content

TLA+ Trace validation #248

TLA+ Trace validation

TLA+ Trace validation #248

Re-run triggered April 18, 2024 06:58
Status Success
Total duration 1m 19s
Artifacts

test_amd64.yaml

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