TLA+ Trace validation #54

Sign in to view logs

Re-run triggered January 29, 2024 10:51

serathius

#113

joshuazh-x:trace-validation

Status Success

Total duration 1m 20s

Artifacts –

test_amd64.yaml

on: pull_request

Matrix: test-linux-386 / run

Matrix: test-linux-amd64 / run