TLA+ Trace validation #14
Triggered via pull request
January 17, 2024 09:49
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