12 Dec
2023
12 Dec
'23
9:50 p.m.
I expect we'd still want the build to succeed without spirv-tools though, cf. the build-mac failure.