name: CI
on:
push:
branches:
- "**"
tags:
- "v*.*.*"
pull_request:
jobs:
verify:
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install Rust
uses: dtolnay/rust-toolchain@stable
- name: Cache cargo
uses: Swatinem/rust-cache@v2
- name: Check formatting
run: cargo fmt --all -- --check
- name: Run clippy
run: cargo clippy --all-targets --all-features -- -D warnings
- name: Run verification suite
run: make verify
- name: Check publish package (dry run)
run: cargo publish --dry-run