search

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

ci: change how we download Zig #123

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

The Zig maintainers have asked the community to not use the official download URL for CI and instead use a set of mirrors in a supported GitHub CI action.

All Zig downloads are signed and checked to ensure the mirrors used do not mess with the download.