name: Build & Test

on:
    push:
        branches: [master, ci]
    pull_request:
        branches: [master, ci]

env:
    CARGO_TERM_COLOR: always

jobs:
    build:
        runs-on: ubuntu-latest

        steps:
            - uses: actions/checkout@v3
            - name: Install dependencies
              if: runner.os == 'Linux'
              run: sudo apt-get update; sudo apt-get install zsh cvc4 libboost-all-dev libssl-dev coinor-cbc coinor-libcbc-dev
            - uses: actions-rs/toolchain@v1
              with:
                  toolchain: stable
            - uses: Swatinem/rust-cache@v2
            - name: No default features pushed
              run: zsh ./scripts/assert_no_default_features.zsh
            - name: Set all features on
              run: python3 driver.py --all-features
            - name: Install python reqs
              run: python3 driver.py --install
            - name: List dependencies and version
              run: |
                cargo --version
                rustc --version
                cargo clippy --version
                cargo tree
            - name: Format
              run: cargo fmt -- --check
            - name: Check
              run: python3 driver.py --check
            - name: Lint
              run: python3 driver.py --lint
            - name: Document
              run: python3 driver.py --doc
            - name: Build, then Test
              run: python3 driver.py --test --ci