Skip to content
Tests on Linux

Fix Z3 version. #971

Sign in to view logs

Fix Z3 version.

Fix Z3 version. #971

You are viewing an older attempt in the history of this workflow run. View latest attempt.
Triggered via push December 5, 2023 19:30
@cnheitmancnheitman
pushed 83332bb
dev-v1.0
Status Failure
Total duration 12m 14s
Artifacts –

linux.yml

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

Annotations

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