Skip to content

Add Bitwuzla support #838

Add Bitwuzla support

Add Bitwuzla support #838

Triggered via pull request January 7, 2025 15:23
Status Failure
Total duration 5m 49s
Artifacts

crucible-go-build.yml

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

Annotations

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