Pipelines - Run 20250327.3

#20250327.3 • Remove vestiges of old ml api (#7597)

Z3 CI

This run is being retained as one of recent runs by pipeline.

Triggered by

jberdine

Repository and version

Time started and elapsed

Yesterday at 11:41 PM

59m 22s

0 work items0 artifacts

Tests and coverage

Errors

Warnings



	The Component Detection tool partially succeeded. See the logs for more information. Python bindings (manylinux Centos AMD64) build • Component Detection (auto-injected by policy)
	The Component Detection tool partially succeeded. See the logs for more information. Python bindings (manylinux Centos ARM64 cross) build • Component Detection (auto-injected by policy)

Jobs

Name	Status	Duration


Ubuntu build - python make - debug MT	Success	32m 32s
Ubuntu build - python make - debug ST	Success	23m 58s
Python bindings (manylinux Centos AMD64) build	Success	34m 29s
Python bindings (manylinux Centos ARM64 cross) build	Success	35m 13s
Ubuntu with OCaml	Success	26m 32s
Ubuntu with OCaml on z3-static	Success	26m 34s
Ubuntu build - cmake	Skipped
Ubuntu build - cmake releaseClang	Success	35m 24s
Ubuntu build - cmake debugClang	Success	44m 53s
Ubuntu build - cmake debugGcc	Success	32m 29s
Ubuntu build - cmake releaseSTGcc	Success	34m 51s
MacOS build	Success	39m 43s
MacOS build with CMake	Success	14m 36s
MacOS build with OCaml	Skipped