Skip to content
Nightly Build Validation

Nightly Build Validation #185

Sign in to view logs

Nightly Build Validation

Nightly Build Validation #185

Triggered via workflow run July 3, 2026 04:06
@NikolajBjornerNikolajBjorner
completed ⁠ f15584c
Status Failure
Total duration 1m 0s
Artifacts –

nightly-validation.yml

on: workflow_run
Validate NuGet on Windows x64
53s
Validate NuGet on Windows x64
Validate NuGet on Ubuntu x64
35s
Validate NuGet on Ubuntu x64
Validate NuGet on macOS x64
28s
Validate NuGet on macOS x64
Validate NuGet on macOS ARM64
23s
Validate NuGet on macOS ARM64
Validate executable on Windows x64
22s
Validate executable on Windows x64
Validate executable on Windows x86
30s
Validate executable on Windows x86
Validate executable on Ubuntu x64
10s
Validate executable on Ubuntu x64
Validate executable on macOS x64
12s
Validate executable on macOS x64
Validate executable on macOS ARM64
12s
Validate executable on macOS ARM64
Validate regression tests on Ubuntu
19s
Validate regression tests on Ubuntu
Validate regression tests on Windows
41s
Validate regression tests on Windows
Validate regression tests on macOS
34s
Validate regression tests on macOS
Validate Python wheel on Ubuntu x64
13s
Validate Python wheel on Ubuntu x64
Validate Python wheel on macOS ARM64
12s
Validate Python wheel on macOS ARM64
Validate Python wheel on macOS x64
16s
Validate Python wheel on macOS x64
Validate Python wheel on Windows x64
48s
Validate Python wheel on Windows x64
Validate Python wheel for RISC-V 64
12s
Validate Python wheel for RISC-V 64
Validate macOS x64 dylib headerpad
22s
Validate macOS x64 dylib headerpad
Validate macOS ARM64 dylib headerpad
11s
Validate macOS ARM64 dylib headerpad
Validate build script unit tests
8s
Validate build script unit tests
Validate Microsoft.Z3.dll is AnyCPU (issue #9863)
8s
Validate Microsoft.Z3.dll is AnyCPU (issue #9863)
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 5 notices
Validate Python wheel on macOS ARM64
Process completed with exit code 1.
Validate Python wheel on macOS x64
Process completed with exit code 1.
Validate macOS ARM64 dylib headerpad
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Validate executable on macOS ARM64
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Validate Python wheel on macOS ARM64
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Validate NuGet on macOS ARM64
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
Validate regression tests on macOS
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167