In la-seL4 repo, CI workflow checks each file`s license and copyright info. We use links to this repo in la-seL4, as PDF files and videos fail the CI workflow.
tyyteam / os-comp-pdfdoc-videos Goto Github PK
View Code? Open in Web Editor NEWOS Comp pdf files and videos.