Skip to content

Merge pull request #265 from hendricius/main_makefile #134

Merge pull request #265 from hendricius/main_makefile

Merge pull request #265 from hendricius/main_makefile #134

Triggered via push October 30, 2023 13:42
Status Success
Total duration 3m 22s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
build_and_release
3m 9s
build_and_release
Fit to window
Zoom out
Zoom in