From 7b6c61fc41a5363ef19b79b778299b5968cb4be7 Mon Sep 17 00:00:00 2001
From: Yannick Forster <yannick.forster@inria.fr>
Date: Thu, 11 Apr 2024 17:31:59 +0200
Subject: [PATCH] run benchmarks for 1s each in ci

---
 .github/workflows/main.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index ef5b5fb..5350802 100644
--- a/.github/workflows/main.yml
+++ b/.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