Jackson 51d2888b52 Switch CI/CD to build using ninja vs. make ... By switching the CI/CD workflow to use CMake's `ninja` backend, the build time goes down considerably (~4.5 minutes to ~2) compared to GNU Make		2021-12-30 21:43:03 +01:00
..
main.yml	Switch CI/CD to build using ninja vs. make	2021-12-30 21:43:03 +01:00