Skip to content

Merge pull request #13 from davideq/main #33

Merge pull request #13 from davideq/main

Merge pull request #13 from davideq/main #33

Triggered via push September 11, 2023 11:20
Status Success
Total duration 9m 1s
Artifacts
AStyle check
27s
AStyle check
Check for spelling errors
13s
Check for spelling errors
Library compilation
8m 49s
Library compilation
Fit to window
Zoom out
Zoom in