Skip to content

Merge pull request #614 from nim65s/eigen_5 #1721

Merge pull request #614 from nim65s/eigen_5

Merge pull request #614 from nim65s/eigen_5 #1721

Triggered via push January 5, 2026 11:22
Status Success
Total duration 40s
Artifacts
Check configuration with git submodules
33s
Check configuration with git submodules
Check configuration without git submodules
36s
Check configuration without git submodules
Fit to window
Zoom out
Zoom in