Repository navigation

ci: build and check pull requests before they reach develop - #273

Open

PulfordJ wants to merge 4 commits into

nvmd:developfrom

PulfordJ:ci/pr-gating-and-checks

Open

ci: build and check pull requests before they reach develop#273
PulfordJ wants to merge 4 commits into
nvmd:developfrom
PulfordJ:ci/pr-gating-and-checks

Commits on Oct 23, 2026
- flake: move linuxPackages_rpi* out of packages
  
  PulfordJ
  and
  claude
  committed
  d07c036
- checks: evaluate boards x bootloaders, test the bootloader installers
  
  PulfordJ
  and
  claude
  committed
  fc03f42
- ci: build pull requests before merge, run flake checks
  
  PulfordJ
  and
  claude
  committed
  a6e3157
- ci: let bot PRs trigger CI, optional auto-merge
  
  PulfordJ
  and
  claude
  committed
  f7d331d