[ci] Minor change to fix building #2644

Merged
Shinmegumi merged 1 commit from shinmegumi-ci-fix into master 2025-10-01 21:09:29 +02:00

1 commit

Author SHA1 Message Date
c5971f8696 Minor change to see if it fixes building
Some checks failed
eden-license / license-header (pull_request) Has been cancelled
Minor change to see if this fixes building on CI.
2025-10-01 20:07:22 +02:00