Skip to content
Build

Build bitwuzla on Windows #103

Sign in to view logs

Build bitwuzla on Windows

Build bitwuzla on Windows #103

Triggered via push July 28, 2024 18:30
@elopezelopez
pushed c385303
dev-windows-tests-3
Status Cancelled
Total duration 1m 43s
Artifacts –

build.yml

on: push
Matrix: build-bitwuzla / build
cabal-check
1m 34s
cabal-check
Matrix: extra-tests
Matrix: nix-build
build (windows-latest)
0s
build (windows-latest)
Fit to window
Zoom out
Zoom in

Annotations

13 errors
build-bitwuzla / ubuntu-latest:release-win64
Process completed with exit code 1.
nix-build (linux-x64)
Canceling since a higher priority waiting request for 'Build-refs/heads/dev-windows-tests-3' exists
nix-build (linux-x64)
The operation was canceled.
nix-build (osx-x64)
Canceling since a higher priority waiting request for 'Build-refs/heads/dev-windows-tests-3' exists
nix-build (osx-x64)
The operation was canceled.
extra-tests (ubuntu-latest)
Canceling since a higher priority waiting request for 'Build-refs/heads/dev-windows-tests-3' exists
extra-tests (ubuntu-latest)
The operation was canceled.
extra-tests (macos-latest)
Canceling since a higher priority waiting request for 'Build-refs/heads/dev-windows-tests-3' exists
extra-tests (macos-latest)
The operation was canceled.
nix-build (osx-arm64)
Canceling since a higher priority waiting request for 'Build-refs/heads/dev-windows-tests-3' exists
nix-build (osx-arm64)
The operation was canceled.
cabal-check
Canceling since a higher priority waiting request for 'Build-refs/heads/dev-windows-tests-3' exists
cabal-check
The operation was canceled.