Make the build work. It started failing and we've been unable to reproduce it locally, but using docker works. It also runs closer to native speed since github agents are linux. Rather than being a backup option, I think this is actually a better choice, since it makes the build pretty close to 100% reproducible.
What it does
Switch build step to docker, remove now unnecessary steps.
Purpose
Make the build work. It started failing and we've been unable to reproduce it locally, but using docker works. It also runs closer to native speed since github agents are linux. Rather than being a backup option, I think this is actually a better choice, since it makes the build pretty close to 100% reproducible.
What it does
Switch build step to docker, remove now unnecessary steps.
Time to review
2 min