build-pico.yaml

name: Build Raspberry Pi Pico

"on":
  pull_request:
    branches: ["main"]
    paths:
      - '*.nix'
      - .github/workflows/build-pico.yaml
      - .justfile
      - boards/pico/.cargo/**
      - boards/pico/build.rs
      - boards/pico/memory.x
      - boards/pico/Cargo.lock
      - boards/pico/Cargo.toml
      - boards/pico/**.nix
      - boards/pico/rust-toolchain.toml
      - boards/pico/src/**
      - flake.lock
  push:
    branches: ["main"]
    paths:
      - '*.nix'
      - .github/workflows/build-pico.yaml
      - .justfile
      - boards/pico/.cargo/**
      - boards/pico/build.rs
      - boards/pico/memory.x
      - boards/pico/Cargo.lock
      - boards/pico/Cargo.toml
      - boards/pico/**.nix
      - boards/pico/rust-toolchain.toml
      - boards/pico/src/**
      - flake.lock
  workflow_dispatch:

jobs:
  build-pico:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: DeterminateSystems/nix-installer-action@v16
      - uses: DeterminateSystems/magic-nix-cache-action@v8
      - name: Build
        run: nix build .#pico
      - name: Generate UF2
        run: nix develop .#pico --command elf2uf2-rs result/bin/pwm-fan-controller-pico pwm-fan-controller-pico
      - name: Upload firmware
        uses: actions/upload-artifact@v4
        with:
          name: pwm-fan-controller-pico
          path: |
            result/bin/pwm-fan-controller-pico
            result/bin/pwm-fan-controller-pico.uf2