Skip to content
Tests on Linux

Fix Z3 version. #971

Sign in to view logs

Fix Z3 version.

Fix Z3 version. #971

Re-run triggered December 5, 2023 19:51
@JonathanSalwanJonathanSalwan
83332bb
dev-v1.0
Status Failure
Total duration 11m 47s
Artifacts –

linux.yml

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

Annotations

31 errors
build (3.10, OFF, 4.0.2)
Process completed with exit code 8.
build (3.7, OFF, 4.0.2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.7, OFF, 4.0.2)
The operation was canceled.
build (3.7, OFF, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.7, OFF, 5.0-rc2)
The operation was canceled.
build (3.10, OFF, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.10, OFF, 5.0-rc2)
The operation was canceled.
build (3.10, ON, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.10, ON, 5.0-rc2)
The operation was canceled.
build (3.9, OFF, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.9, OFF, 5.0-rc2)
The operation was canceled.
build (3.8, ON, 4.0.2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.8, ON, 4.0.2)
The operation was canceled.
build (3.9, ON, 4.0.2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.9, ON, 4.0.2)
The operation was canceled.
build (3.8, OFF, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.8, OFF, 5.0-rc2)
The operation was canceled.
build (3.9, ON, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.9, ON, 5.0-rc2)
The operation was canceled.
build (3.8, ON, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.8, ON, 5.0-rc2)
The operation was canceled.
build (3.10, ON, 4.0.2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.10, ON, 4.0.2)
The operation was canceled.
build (3.7, ON, 4.0.2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.7, ON, 4.0.2)
The operation was canceled.
build (3.8, OFF, 4.0.2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.8, OFF, 4.0.2)
The operation was canceled.
build (3.7, ON, 5.0-rc2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.7, ON, 5.0-rc2)
The operation was canceled.
build (3.9, OFF, 4.0.2)
The job was canceled because "_3_10_OFF_4_0_2" failed.
build (3.9, OFF, 4.0.2)
The operation was canceled.