Skip to content
Z3 Trace Log Generator for at least v4.9.0

Test #5

Sign in to view logs

Test

Test #5

Triggered via push September 9, 2023 09:32
@oskari1oskari1
pushed 17ce08f
main
Status Success
Total duration 28s
Artifacts 2

z3_trace_log_gen_newer_z3.yml

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

Artifacts

Produced during runtime
Name Size
logs_z3_v4.12.2 Expired
3.31 MB
logs_z3_v4.9.0 Expired
6.35 MB