Giters

hermit-os / hermit-rs

Hermit for Rust.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CI: Pin kernel and user to same nightly

mkroening opened this issue · comments

commented

I have done the opposite in #184.