run benchmarks for 1s each in ci

.github/workflows/main.yml

@@ -35,6 +35,16 @@ jobs:
             startGroup "opam pin"
               opam pin -n -y "https://github.com/stedolan/malfunction.git#master"
             endGroup
+            startGroup "install dependencies for benchmarks"
+              opam install -y core_bench.v0.16.0 
+            endGroup
+          install: |
+            startGroup "Install dependencies"
+              # sudo apt-get update -y -q
+              opam pin add -n -y -k path $PACKAGE $WORKDIR
+              # opam update -y
+              opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only
+            endGroup
           after_install: |
             startGroup "make"
               make -j 2 bootstrap
@@ -49,5 +59,5 @@ jobs:
             endGroup
             startGroup "run tests"
               make -C examples
-              # make -C benchmarks
+              make -C benchmarks ci
             endGroup