Skip to content

User-directed transcript-based RAM checking. #763

User-directed transcript-based RAM checking.

User-directed transcript-based RAM checking. #763

Workflow file for this run

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: Set all features on
run: python3 driver.py --all_features
- name: Install python reqs
run: python3 driver.py --install
- name: Check
run: python3 driver.py --check
- name: Format
run: cargo fmt -- --check
- name: Lint
run: python3 driver.py --lint
- name: Build, then Test
run: python3 driver.py --test