Skip to content

Fix failing GitHub Actions job compile#63

Merged
mnkiefer merged 2 commits into
mainfrom
copilot/fix-compile-job-failure-again
May 20, 2026
Merged

Fix failing GitHub Actions job compile#63
mnkiefer merged 2 commits into
mainfrom
copilot/fix-compile-job-failure-again

Commits

Commits on May 20, 2026