Skip to content

Merge pull request #14 from davideq/main #39

Merge pull request #14 from davideq/main

Merge pull request #14 from davideq/main #39

Triggered via push September 29, 2023 09:52
Status Success
Total duration 7m 43s
Artifacts
AStyle check
33s
AStyle check
Check for spelling errors
11s
Check for spelling errors
Library compilation
7m 33s
Library compilation
Fit to window
Zoom out
Zoom in