Gerwin Klein 8a5ee2b5f8 github: sync with test invocation on bamboo ... This should not change behaviour, but makes sure we replicate the test setup more precisely. Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>		2020-05-12 11:08:22 +08:00
..
git.yaml	github: use gitlint config from sel4_tools	2020-05-12 11:07:46 +08:00
license.yaml	github: add workflow actions for style checks	2020-05-05 11:22:09 +10:00
style.yaml	github: sync with test invocation on bamboo	2020-05-12 11:08:22 +08:00