search

seL4 / util_libs

Other
55 stars 83 forks source link

Add GitHub action for sel4test simulation #96

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

This repo is part of sel4test-manifest, so changes here should run sel4test.