Skip to content

Merge pull request #12 from davideq/main #31

Merge pull request #12 from davideq/main

Merge pull request #12 from davideq/main #31

Triggered via push September 5, 2023 12:43
Status Success
Total duration 8m 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
AStyle check
30s
AStyle check
Check for spelling errors
10s
Check for spelling errors
Library compilation
7m 52s
Library compilation
Fit to window
Zoom out
Zoom in