secc
/
seL4_projects_libs
mirror of https://github.com/seL4/seL4_projects_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4_projects_libs/.github
History
Gerwin Klein 2c95034d43 github: use central CI workflows 
Use GitHub workflow_call feature to reduce workflow duplication.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-03-17 11:37:11 +11:00
..
workflows github: use central CI workflows 2025-03-17 11:37:11 +11:00
CODE_OF_CONDUCT.md Add seL4 foundation docs setup 2020-11-28 17:05:19 +11:00
CONTRIBUTING.md Add seL4 foundation docs setup 2020-11-28 17:05:19 +11:00