search

seL4 / projects_libs

Other
6 stars 20 forks source link

github: trigger main test on push to master #9

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.