Compile everything in CI (incl. benchmarks).

We do not run benchmarks as the container does not seem to let us
run perf by default, and we don't care much to run benchmarks all
the time anyway.

Author: rlepigre

.github/workflows/ci.yml

@@ -38,4 +38,5 @@ jobs:
       - name: "Running tests..."
         run: |
           eval $(opam env)
+          make
           make tests