From 6be818c1f232a0f14603d73e33049a34df0baae6 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Fri, 12 Apr 2024 01:39:25 +0200 Subject: [PATCH] Update build.yml --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0936d88..851d56b 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -27,7 +27,7 @@ jobs: run: cmake -E make_directory ${{runner.workspace}}/build - name: Get Dependencies - run: sudo apt-get update && sudo apt-get install -yq libboost-dev libboost-serialization-dev libboost-program-options-dev help2man + run: sudo apt-get update && sudo apt-get install -yq libboost-dev libboost-serialization-dev libboost-program-options-dev help2man libgmp-dev - name: Checkout Cadical