Skip to content
Z3 Trace Log Generator

Fixed script #50

Sign in to view logs

Fixed script

Fixed script #50

Triggered via push September 4, 2023 12:51
@oskari1oskari1
pushed 6781d98
main
Status Success
Total duration 2m 1s
Artifacts –

z3_trace_log_gen.yml

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

Annotations

2 warnings
generate_log (4.12.2)
No files were found with the provided path: logs_z3_.tar.bz2. No artifacts will be uploaded.
generate_log (4.11.0)
No files were found with the provided path: logs_z3_.tar.bz2. No artifacts will be uploaded.