search

project-oak / hafnium-verification

Apache License 2.0
29 stars 16 forks source link

Add CI (& bors) #39

Open jeehoonkang opened 5 years ago

jeehoonkang commented 5 years ago

It'll be convenient to have a CI that automatically checks if each build is successful and passes the test. Fortunately, we may be able to use Travis CI or other free-of-charge CI services.

Also, consider using @bors-ng: https://bors.tech/ You don't need to worry about whether your merge introduces build or test failures.

cc @efenniht, who is actually porting the rest of C code to Rust.

hkim15 commented 5 years ago

Welcome @efenniht to the project!