github: use central CI workflows Use GitHub workflow_call feature to reduce workflow duplication. Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems
github: use central CI workflows
Use GitHub workflow_call feature to reduce workflow duplication.
Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems
This repository contains the manifest for the seL4webserver application.
See Build Instructions for setup information.
©Copyright 2023 CCF 开源发展委员会 Powered by Trustie& IntelliDE 京ICP备13000930号
seL4webserver reference application
This repository contains the manifest for the seL4webserver application.
See Build Instructions for setup information.