Skip to content

replace add_custom_command with add_custom_target, that fix some weir… #255

replace add_custom_command with add_custom_target, that fix some weir…

replace add_custom_command with add_custom_target, that fix some weir… #255

Triggered via push December 15, 2023 19:39
Status Success
Total duration 13m 59s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: build
Fit to window
Zoom out
Zoom in