name: Rust
on:
push:
branches:
pull_request:
branches:
env:
CARGO_TERM_COLOR: always
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Build
run: cargo build --release --verbose
- name: Run tests
run: cargo test --release --verbose --lib \
cargo test --release --verbose --doc \
cargo test --release --verbose --test termination \
cargo test --release --verbose consistent
- name: Run examples
run: make run-examples