BUPT-OS / RROS

RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C).
https://bupt-os.github.io/website/
Other
567 stars 40 forks source link

Add pre-check `make LLVM=1 rustfmtcheck` #22

Closed yexuanyang closed 10 months ago

yexuanyang commented 10 months ago

Modify file .github/workflows/ci.yaml to add pre-check make LLVM=1 rustfmtcheck #21