Z3 Trace Log Generator

Changed smt file #47

Sign in to view logs

Triggered via push September 4, 2023 12:13

oskari1

main

Status Failure

Total duration 35s

Artifacts –

z3_trace_log_gen.yml

on: push

Matrix: generate_log

Annotations

3 errors

generate_log (4.12.2)

Process completed with exit code 2.

generate_log (4.11.0)

The job was canceled because "_4_12_2" failed.

generate_log (4.11.0)

The operation was canceled.