seL4-microkit/.github
Gerwin Klein 1e52a5b550 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 12:15:59 +11:00
..
workflows github: use central CI workflows 2025-03-17 12:15:59 +11:00
CODE_OF_CONDUCT.md Add foundation code of conduct 2023-09-13 21:38:08 +10:00
CONTRIBUTING.md Add foundation contribution template 2023-09-13 21:38:08 +10:00