Skip to content

CI: fix working directory problem #5

CI: fix working directory problem

CI: fix working directory problem #5

Workflow file for this run

name: Tests
on: push
jobs:
cmake-build-and-check:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/[email protected]
- name: Install dependencies
run: sudo 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 }} ..
- name: make
run: |
cd build
make
- name: make check
run: |
cd build
make check
strategy:
matrix:
interval_lib: [gaol, filib]
lp_lib: [none, soplex]