From 7910efb5308c289e72747894f2698e19d780cfa9 Mon Sep 17 00:00:00 2001
From: Alejandro Asenjo Nitti <96613413+sonicdcer@users.noreply.github.com>
Date: Wed, 6 Dec 2023 00:53:02 -0300
Subject: [PATCH] Update ci.yaml

---
 .github/workflows/ci.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index e2fe1323..81842bd3 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -22,6 +22,7 @@ jobs:
 
     - name: Install Python dependencies
       run: python3 -m pip install -r ./tools/requirements-python.txt
+      run: make -s -C tools
 
     - name: Update submodules
       run: git submodule update --init --recursive