secc
/
seL4-webserver
mirror of https://github.com/seL4/sel4webserver.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-webserver/.github
History
Gerwin Klein efe3eb8e7a 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:29:01 +11:00
..
workflows github: use central CI workflows 2025-03-17 11:29:01 +11:00
CODE_OF_CONDUCT.md Foundation setup and SPDX identifiers 2021-07-28 11:00:51 +10:00
CONTRIBUTING.md Foundation setup and SPDX identifiers 2021-07-28 11:00:51 +10:00