Z3 Trace Log Generator for at least v4.9.0

Created different .yml files #1

Sign in to view logs

Triggered via push September 9, 2023 09:23

oskari1

main

Status Success

Total duration 24s

Artifacts 2

z3_trace_log_gen_newer_z3.yml

on: push

Matrix: generate_log

Artifacts

Produced during runtime

Name	Size
logs_z3_v4.12.2 Expired	3.31 MB
logs_z3_v4.9.0 Expired	6.35 MB