TLA+ Trace validation #113
Triggered via pull request
February 6, 2024 10:06
joshuazh-x
joshuazh-x
synchronize
#113
Status
Skipped
Total duration
3s
Artifacts
–
gh-workflow-approve.yaml
on: pull_request_target
Approve ok-to-test
0s