Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add CI (& bors) #39

jeehoonkang opened this issue Jul 23, 2019 · 1 comment


Copy link

commented Jul 23, 2019

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: 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.


This comment has been minimized.

Copy link

commented Jul 23, 2019

Welcome @efenniht to the project!

jeehoonkang pushed a commit to jeehoonkang/hafnium-verification that referenced this issue Aug 29, 2019
Merge pull request project-oak#39 from efenniht/hfo2-17-api-cpu
Wrap mutable states of VCpu with SpinLock (partially done)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
2 participants
You can’t perform that action at this time.