Skip to content
Rust CI

ci: Add GitHub Actions for Rust, Lean and Rocq #4

Sign in to view logs

ci: Add GitHub Actions for Rust, Lean and Rocq

ci: Add GitHub Actions for Rust, Lean and Rocq #4

Workflow file for this run

.github/workflows/rust.yml at 55b353b
name: Rust CI
on:
pull_request:
jobs:
rust-ci:
name: Build, Lint & Test
runs-on: ubuntu-latest
defaults:
run:
working-directory: argus
steps:
- uses: actions/checkout@v4
- uses: jdx/mise-action@v2
- name: Install Rust components
run: rustup component add rustfmt clippy
- name: Check formatting
run: cargo fmt --check
- name: Clippy
run: cargo clippy --workspace -- -D warnings
- name: Run tests
run: cargo test --workspace
- name: Install cargo-audit
run: cargo install cargo-audit --locked
- name: Security audit
run: cargo audit