ci: add gtest as dep for gha

Signed-off-by: Vitor Bandeira <[email protected]>
2026-09-01 18:36:42 +02:00 · 2026-03-18 08:40:16 -03:00
parent eea333c4bf
commit 84c3e60c25
1 changed files with 10 additions and 1 deletions
@@ -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: |