diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 43c40cf..b5bcd18 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -65,7 +65,7 @@ jobs: channel-priority: true - name: install build deps - run: mamba install scip=9.1.0 gurobi==11.0.3 gcovr + run: mamba install scip=9.1.0 gurobi==11.0.3 gcovr colorlog - name: add gurobi license shell: bash