Nightly Build Validation #175
Triggered via workflow run
June 23, 2026 04:04
NikolajBjorner
NikolajBjorner
completed
f8bf10a
Status
Skipped
Total duration
1s
Artifacts
–
nightly-validation.yml
on: workflow_run
Validate NuGet on Windows x64
0s
Validate NuGet on Ubuntu x64
0s
Validate NuGet on macOS x64
0s
Validate NuGet on macOS ARM64
0s
Validate executable on Windows x64
0s
Validate executable on Windows x86
0s
Validate executable on Ubuntu x64
0s
Validate executable on macOS x64
0s
Validate executable on macOS ARM64
0s
Validate regression tests on Ubuntu
0s
Validate regression tests on Windows
Validate regression tests on macOS
Validate Python wheel on Ubuntu x64
0s
Validate Python wheel on macOS ARM64
0s
Validate Python wheel on macOS x64
0s
Validate Python wheel on Windows x64
0s
Validate Python wheel for RISC-V 64
Validate macOS x64 dylib headerpad
Validate macOS ARM64 dylib headerpad
Validate build script unit tests
0s
Validate Microsoft.Z3.dll is AnyCPU (issue #9863)