Skip to content

Add a stripped build and checkpatch to CI - #133

Merged
johnousterhout merged 1 commit into
PlatformLab:mainfrom
breakertt:feat/ci-checkpatch
Nov 6, 2026
Merged

johnousterhout merged 1 commit into
PlatformLab:mainfrom
breakertt:feat/ci-checkpatch

Add a stripped build and checkpatch to CI

7f5f1cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-and-test
succeeded Oct 28, 2026 in 1m 39s