seL4/.github
Gerwin Klein f236ae8935 github: trigger main test on push to master
The trigger action sends repository_dispatch events to all
main test repositories of the manifests this repo is part of.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2021-08-27 14:08:23 +10:00
..
workflows github: trigger main test on push to master 2021-08-27 14:08:23 +10:00