Skip to content

Merge in develop for Jiarui's PR to have a commit hash (#543) #1644

Merge in develop for Jiarui's PR to have a commit hash (#543)

Merge in develop for Jiarui's PR to have a commit hash (#543) #1644

Triggered via push July 25, 2023 12:18
Status Success
Total duration 49s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Run Unit Tests inside global-workflow with ctest
42s
Run Unit Tests inside global-workflow with ctest
Fit to window
Zoom out
Zoom in