crucible-wasm builds

Bump What4 submodule, adapt to `BoolMap` changes (#1306) #1428

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 45s
crucible-wasm - GHC v9.6.5 - ubuntu-22.04	17m 0s
crucible-wasm - GHC v9.8.2 - ubuntu-22.04	18m 41s
crucible-wasm - GHC v9.8.2 - macos-14	14m 41s
crucible-wasm - GHC v9.8.2 - windows-2019	21m 11s
	1h 29m 18s