search

robert-w-gries / rxinu

Rust implementation of Xinu educational operating system
Apache License 2.0
34 stars 4 forks source link

Workaround for xargo issue #46

Closed robert-w-gries closed 6 years ago

robert-w-gries commented 6 years ago

Temporary CI solution for #45

This should be replaced later when that issue is resolved.