pull_request: main 471/merge #215
Triggered via pull request
August 2, 2023 00:04
wenju-he
Status
Success
Total duration
3h 43m 47s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
on-push-verification.yml
on: pull_request
Verify for `main` branch
2h 36m
Verify for `ocl-open-*` release branch
0s