Skip to content

Merge pull request #1 from davideq/main #1

Merge pull request #1 from davideq/main

Merge pull request #1 from davideq/main #1

Re-run triggered December 15, 2025 13:35
Status Success
Total duration 2m 22s
Artifacts
AStyle check
24s
AStyle check
Check for spelling errors
10s
Check for spelling errors
Library compilation
1m 57s
Library compilation
Fit to window
Zoom out
Zoom in