Skip to content

Add dependencies install in github workflow #2

Add dependencies install in github workflow

Add dependencies install in github workflow #2

Workflow file for this run

name: Tests
on: push
jobs:
cmake-build-and-check:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4.1.1
- name: Install dependencies
run: apt install -y flex bison libcppunit-dev
- name: CMake
run: |
mkdir build
cd build
cmake -DINTERVAL_LIB=${{ matrix.interval_lib }} -DLP_LIB={{ matrix.lp_lib }} ..
- run: make
- run: make check
strategy:
matrix:
interval_lib: [gaol, filib]
lp_lib: [none, soplex]