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