seL4 / sel4runtime

A minimal runtime for seL4 applications.
Other
12 stars 29 forks source link

github: trigger main test on push to master #12

Closed lsf37 closed 3 years ago

lsf37 commented 3 years ago

The trigger action sends repository_dispatch events to all main test repositories of the manifests this repo is part of.