From d8c7a79414b90e26c8ccfcb1986c810a24fab2c3 Mon Sep 17 00:00:00 2001
From: Alejandro Gallo <aamsgallo@gmail.com>
Date: Fri, 3 Sep 2021 16:39:18 +0200
Subject: [PATCH] Fix ci

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a95b602..c1978b7 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -34,4 +34,4 @@ jobs:
       run: nix-shell --run 'make lib'
 
     - name: Build bench
-      run: nix-shell --run 'make lib'
+      run: nix-shell --run 'make bench'