r3-os / r3

R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
Apache License 2.0
160 stars 8 forks source link

fix: GitHub workflow badge #17

Closed rng-dynamics closed 1 year ago

rng-dynamics commented 1 year ago

Fixes #16

yvt commented 1 year ago

Thanks!