Skip to content

CI: now run on runner host at LIRMM #6

CI: now run on runner host at LIRMM

CI: now run on runner host at LIRMM #6

Workflow file for this run

name: Tests
on: push
env:
CHECKSUM: 0681e85c15171a07e77d2e9146e1692d012a8af28f77002eed5bc9085484e6ba97fb6401709c17867702b5c7973f9daa44a62f4ed6d1af8eefe942600c26c3e9
jobs:
cmake-build-and-check:
runs-on: self-hosted
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]