Skip to content

CI: forgot to install g++ and gcc #10

CI: forgot to install g++ and gcc

CI: forgot to install g++ and gcc #10

Workflow file for this run

name: Tests
on: push
env:
CHECKSUM: 8d5073dbf287eb947e2a5da3fd246b4a4ce764114bf097700f0cf19eba98973501cbde87113058faf3f96080b3d079c1bc118be08c2e73febe656439b5a922cd
jobs:
cmake-build-and-check:
runs-on: self-hosted
container:
image: ubuntu:latest
steps:
- name: Checkout
uses: actions/[email protected]
- name: Install dependencies
run: |
apt update
apt install -y gcc g++ cmake 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]