search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
23 stars 18 forks source link

ci: change how we download Zig #245

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.