issues
search
au-ts
/
lionsos
A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84
stars
7
forks
source link
ci: remove old script
#79
Closed
Ivan-Velickovic
closed
2 months ago
Ivan-Velickovic
commented
2 months ago
See commit messages for details.
See commit messages for details.