Added GLPK to CI pipeline

OndrejSladky · Jan 5, 2024 · f66c129 · f66c129
1 parent bc641bb
commit f66c129
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,6 +17,8 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
+    - name: glpk
+      run: sudo apt install glpk-utils
     - name: make
       run: make
     - name: submodule
@@ -31,6 +33,8 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
+    - name: glpk
+      run: sudo apt install glpk-utils
     - name: make
       run: make
     - name: jellyfish