Files

.github

Ivan-Velickovic

ci: include os/arch in per-commit tar filenames

Jan 9, 2025

a8b7894 · Jan 9, 2025

This branch is 45 commits behind seL4/microkit:main.

Name		Name	Last commit message	Last commit date
parent directory ..
workflows		workflows	ci: include os/arch in per-commit tar filenames	Jan 9, 2025
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md	Add foundation code of conduct	Sep 13, 2023
CONTRIBUTING.md		CONTRIBUTING.md	Add foundation contribution template	Sep 13, 2023