portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/.github/workflows
History
Gerwin Klein 3f9a4cd809 github: add workflow actions for style checks 
This replicates some of the TS-internal CI checks directly on github
for faster feedback.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
2020-05-05 11:22:09 +10:00
..
git.yaml github: add workflow actions for style checks 2020-05-05 11:22:09 +10:00
license.yaml github: add workflow actions for style checks 2020-05-05 11:22:09 +10:00
style.yaml github: add workflow actions for style checks 2020-05-05 11:22:09 +10:00