portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
4929 commits 1 branch 42 tags 18 MiB
Commit graph

2 commits

Author SHA1 Message Date
Gerwin Klein
3c7c4d1182 github: add manual trigger where possible 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2025-02-18 09:22:15 +11:00
Gerwin Klein
c6238208bb github: run C parser on push/PR 
This action runs the verification C parser on the main kernel
configurations to check that the code is in the C verification subset.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 2021-06-30 14:04:00 +10:00