search

seL4 / capdl

Capability Distribution Language tools for seL4
https://sel4.systems
35 stars 45 forks source link

github: trigger main test on push to master #28

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.