Update flake #72
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- | |
name: Koishi | |
on: | |
push: | |
branches: | |
- main | |
paths: | |
- 'flake.*' | |
- 'koishi/**' | |
pull_request: | |
paths: | |
- 'flake.*' | |
- 'koishi/**' | |
jobs: | |
formatting-firmware: | |
name: Formatting (firmware) | |
runs-on: ubuntu-latest | |
defaults: | |
run: | |
working-directory: ./koishi/firmware | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@V27 | |
- name: Clippy | |
run: nix develop --command cargo clippy -- -Dwarnings | |
formatting-firmware-tests: | |
name: Formatting (firmware tests) | |
runs-on: ubuntu-latest | |
defaults: | |
run: | |
working-directory: ./koishi/firmware-tests | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@V27 | |
- name: Clippy | |
run: nix develop --command cargo clippy -- -Dwarnings | |
formatting-telemetry-receiver: | |
name: Formatting (telemetry-receiver) | |
runs-on: ubuntu-latest | |
defaults: | |
run: | |
working-directory: ./koishi/telemetry-receiver | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@V27 | |
- name: Clippy | |
run: nix develop --command cargo clippy -- -Dwarnings | |
build-and-test-firmware: | |
name: Build and Test (firmware) | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@V27 | |
- name: Build | |
working-directory: ./koishi/firmware | |
run: | | |
# Build as intended for hardware first | |
nix develop --command cargo build --release | |
nix develop --command cargo build --release --features reporting_postcard | |
# Build for simulator tests | |
nix develop --command cargo build --release --features simulator | |
- name: In Simulator Tests | |
working-directory: ./koishi/firmware-tests | |
run: nix develop --command cargo test | |
build-and-test-telemetry-receiver: | |
name: Build and Test (telemetry-receiver) | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@V27 | |
- name: Build | |
working-directory: ./koishi/firmware | |
run: nix develop --command cargo build |