search

Harvey-OS / harvey

A distributed operating system
https://harvey-os.org/
MIT License
1.44k stars 105 forks source link

Add back the CI #1133

Open rminnich opened 3 years ago

rminnich commented 3 years ago

with the move to 9legacy, we lost the CI