Skip to content

Examples

Examples #47

Workflow file for this run

---
name: CI
on:
push:
branches:
- main
tags:
- 'v*'
pull_request:
jobs:
formatting-and-quality:
name: Formatting and Quality
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: DeterminateSystems/nix-installer-action@v10
# Evaluate the devshell here so that the time reported for subsequent
# steps that use it reflect what is actually done there.
- name: Evaluate devshell
run: nix develop
- name: Format
run: nix develop --command treefmt --fail-on-change
- name: cargo-deny
run: nix develop --command cargo deny check
- name: Clippy
run: nix develop --command cargo clippy --all-targets -- -D warnings
- name: Tests
run: nix develop --command cargo test
- name: Documentation
run: nix develop --command cargo doc
- name: Build examples
run: nix develop --command cargo build --examples