Use pre-built ninja binaries for CI

cknitt · cristianoc · commit f78d7800a693 · 2022-05-24T08:42:04.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,7 +17,6 @@ jobs:
 
     env:
       BS_TRAVIS_CI: 1
-      NINJA_FORCE_REBUILD: 1
       OCAMLRUNPARAM: b
 
     steps:
