Skip to content
CMake

Add ProofBitVariable and better reification #323

Sign in to view logs

Add ProofBitVariable and better reification

Add ProofBitVariable and better reification #323

Triggered via push January 13, 2025 12:20
@ciaranmciaranm
pushed 1fdc3b7
main
Status Failure
Total duration 13m 5s
Artifacts –

cmake.yml

on: push
Matrix: job
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
macos-14
Process completed with exit code 8.
ubuntu-22.04
Process completed with exit code 8.
ubuntu-24.04
Process completed with exit code 8.
macos-13
Process completed with exit code 8.
macos-14
The 'platform_version' input is unset. This may lead to inconsistent build results.
ubuntu-22.04
The 'platform_version' input is unset. This may lead to inconsistent build results.
ubuntu-24.04
The 'platform_version' input is unset. This may lead to inconsistent build results.
macos-13
The 'platform_version' input is unset. This may lead to inconsistent build results.