diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 23e100fd..db65832c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -30,6 +30,7 @@ jobs: flex \ gcc \ git \ + libmpfr-dev \ libboost-program-options-dev \ ninja-build \ python3 \