Skip to content

ci: Add CI for no_std. (v1)#326

Merged
mbrubeck merged 1 commit intoservo:v1from
waywardmonkeys:v1-add-ci-no_std
Oct 21, 2023
Merged

ci: Add CI for no_std. (v1)#326
mbrubeck merged 1 commit intoservo:v1from
waywardmonkeys:v1-add-ci-no_std

Commits

Commits on Oct 21, 2023