Skip to content

#598 add header and extra files to Makefile so that they become part … #281

#598 add header and extra files to Makefile so that they become part …

#598 add header and extra files to Makefile so that they become part … #281

Triggered via push November 15, 2024 18:34
Status Success
Total duration 57s
Artifacts