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: |