name: CI
on:
push:
branches:
- main
pull_request:
branches:
- main
jobs:
build_and_test:
name: Build and Test
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Check notes
run: ./dev/check-notes.py
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
- name: Check that benchmarks compile
run: cargo build --benches --all-features
- name: Run tests in debug mode
run: cargo test
- name: Run tests with optimizations
run: cargo test --release
# MIRI testing is too slow to be running in CI. 😔