secc
/
seL4_libs
mirror of https://github.com/seL4/seL4_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4_libs/.github
History
Gerwin Klein c45e3d0f33 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:27 +11:00
..
workflows github: use central CI workflows 2025-03-17 11:37:27 +11:00
CODE_OF_CONDUCT.md seL4 foundation setup 2021-02-10 19:19:52 +11:00
CONTRIBUTING.md seL4 foundation setup 2021-02-10 19:19:52 +11:00