secc
/
seL4-webserver-manifest
mirror of https://github.com/seL4/sel4webserver-manifest.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4-webserver-manifest/.github
History
Gerwin Klein ba6f7674ef 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:28:47 +11:00
..
workflows github: use central CI workflows 2025-03-17 11:28:47 +11:00
CODE_OF_CONDUCT.md SPDX license tags and seL4 Foundation setup 2020-12-04 10:30:07 +11:00
CONTRIBUTING.md SPDX license tags and seL4 Foundation setup 2020-12-04 10:30:07 +11:00
LICENSE.md trivial: fix link to LICENSES directory 2021-08-31 17:00:14 +10:00