From 84c3e60c255a74443b94d31d3f9f0791b5fa8a03 Mon Sep 17 00:00:00 2001 From: Vitor Bandeira Date: Thu, 12 Mar 2026 11:40:51 -0300 Subject: [PATCH] ci: add gtest as dep for gha Signed-off-by: Vitor Bandeira --- .github/workflows/ci.yml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e8eda3c3..5fb13fd9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,7 +16,16 @@ jobs: - name: Set up dependencies run: | - sudo apt-get update && sudo apt-get install -y flex libfl-dev bison tcl-dev tcl-tclreadline libeigen3-dev ninja-build + sudo apt-get update + sudo apt-get install -y \ + flex \ + libfl-dev \ + bison \ + tcl-dev \ + tcl-tclreadline \ + libeigen3-dev \ + ninja-build \ + libgtest-dev - name: Set up cudd-3.0.0 run: |