TLA+ Trace validation #130
Triggered via pull request
February 19, 2024 03:45
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