seL4/.github
Gerwin Klein f0c0fdc6cf github: use new build matrix
Use the new build matrix from ci-action that supports build subgroups
for armv8a. This should speed up the hw-build from >50min to about
12:30min, now bounded by the riscv group, not armv8a.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2026-06-14 09:37:19 +01:00
..
workflows github: use new build matrix 2026-06-14 09:37:19 +01:00