Fix CI
All checks were successful
Build / Build with CMake (pull_request) Successful in 47s
#1 by c was merged 2025-12-01 16:41:07 -08:00