Skip to content
crucible-wasm builds

Add Bitwuzla support #1369

Sign in to view logs

Add Bitwuzla support

Add Bitwuzla support #1369

Triggered via pull request January 7, 2025 15:23
@RyanGlScottRyanGlScott
opened #1270
bitwuzla
Status Failure
Total duration 4m 55s
Artifacts –

crucible-wasm-build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 3 warnings
crucible-wasm - GHC v9.4.8 - ubuntu-22.04
Process completed with exit code 127.
crucible-wasm - GHC v9.6.5 - ubuntu-22.04
Process completed with exit code 127.
crucible-wasm - GHC v9.8.2 - ubuntu-22.04
Process completed with exit code 127.
crucible-wasm - GHC v9.8.2 - windows-2019
Process completed with exit code 126.
crucible-wasm - GHC v9.8.2 - macos-14
Process completed with exit code 127.
crucible-wasm - GHC v9.4.8 - ubuntu-22.04
Cache save failed.
crucible-wasm - GHC v9.6.5 - ubuntu-22.04
Cache save failed.
crucible-wasm - GHC v9.8.2 - ubuntu-22.04
Cache save failed.