crucible-wasm builds

`crux-mir` Dockerfile: Define `CRUX_RUST_LIBRARY_PATH` once more #1373

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
crucible-wasm - GHC v9.4.8 - ubuntu-22.04	17m 18s
crucible-wasm - GHC v9.6.5 - ubuntu-22.04	17m 32s
crucible-wasm - GHC v9.8.2 - ubuntu-22.04	17m 3s
crucible-wasm - GHC v9.8.2 - macos-14	15m 44s
crucible-wasm - GHC v9.8.2 - windows-2019	21m 6s
	1h 28m 43s