Skip to content
Windows build and test

[circt-bmc] Add multi-clock BMC support #13135

Sign in to view logs

[circt-bmc] Add multi-clock BMC support

[circt-bmc] Add multi-clock BMC support #13135

Re-run triggered February 24, 2026 12:32
@TaoBi22TaoBi22
#9729
robert-at-pretension-io:bmc-multi-clock-pr
Status Failure
Total duration 20m 4s
Artifacts –

buildAndTestWindows.yml

on: pull_request
Build and Test  /  build-test-and-install
19m 46s
Build and Test / build-test-and-install
Build and Test  /  ...  /  Cleanup Cache
7s
Build and Test / cleanup-cache / Cleanup Cache
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and Test / build-test-and-install
Process completed with exit code 1.