zig build fails with no field named 'path' in union 'Build.LazyPath'
JasonGross opened this issue · 0 comments
JasonGross commented
/home/runner/work/fiat-crypto/fiat-crypto/fiat-zig/build.zig:5:33: error: no field named 'path' in union 'Build.LazyPath'
/opt/hostedtoolcache/zig/master/x64/lib/std/Build.zig:2133:22: note: union declared here
https://github.com/mit-plv/fiat-crypto/actions/runs/9092827097/job/24990411932?pr=1911#step:4:5
cc @jedisct1