Skip to content

Formal sha512 (#144) #73

Formal sha512 (#144)

Formal sha512 (#144) #73

Triggered via push August 14, 2023 17:39
Status Success
Total duration 48m 4s
Artifacts 2
Run GDB debugging tests
19m 46s
Run GDB debugging tests
Run OpenOCD debugging tests
6m 8s
Run OpenOCD debugging tests
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build_verilator
Cache save failed.
build_verilator
Cache save failed.

Artifacts

Produced during runtime
Name Size
openocd Expired
1.98 MB
verilator Expired
107 MB