Skip to content
CI

reorder_buffer: RTL cleanup, formal verification, and expanded cocotb… #36

Sign in to view logs

reorder_buffer: RTL cleanup, formal verification, and expanded cocotb…

reorder_buffer: RTL cleanup, formal verification, and expanded cocotb… #36

Triggered via push February 8, 2026 23:14
@adambagleyadambagley
pushed c45ed49
main
Status Success
Total duration 1h 44m 36s
Artifacts 2

ci.yml

on: push
Build Docker Image
43m 25s
Build Docker Image
Cocotb Tests (Verilator)
59m 33s
Cocotb Tests (Verilator)
Cocotb Tests (Icarus)
1h 1m
Cocotb Tests (Icarus)
Yosys Synthesis Check
15m 2s
Yosys Synthesis Check
Formal Verification
1m 51s
Formal Verification
Lint
1m 28s
Lint
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
frost-docker-image Expired
1.18 GB
sha256:31b5c2dcbf822c9fbdd6d20cd07665ecb31b450cf1b1a4de83ba4066c3b6bb58
twosigma~frost~UIHVDV.dockerbuild
222 KB
sha256:e8a90dd52051d827abd2ccbc31d8af2b69b9506eaa6d6f2fb7d047f4daa6677f
⚡