search

seL4 / sel4test

Test suite for seL4.
http://sel4.systems
Other
24 stars 60 forks source link

github: enable hw-test and hw-build on PRs #90

Closed lsf37 closed 1 year ago

lsf37 commented 1 year ago

This is a copy of the same pull request action from seL4/seL4.

Useful for checking if new tests are working on hardware.