Skip to content
Build and Test

[circt-bmc] handle 'verif.formal' / 'verif.contract' op in module #38257

Sign in to view logs

[circt-bmc] handle 'verif.formal' / 'verif.contract' op in module

[circt-bmc] handle 'verif.formal' / 'verif.contract' op in module #38257

Triggered via pull request July 7, 2026 10:09
@Clo91eafClo91eaf
synchronize #10772
xinpian-tech:circt-bmc-verif-formal
Status Success
Total duration 17m 46s
Artifacts 1

buildAndTest.yml

on: pull_request
Sanity Check
32s
Sanity Check
choose-matrix
7s
choose-matrix
Upload Dispatch Metadata
3s
Upload Dispatch Metadata
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
dispatch-metadata Expired
140 Bytes
sha256:fb133e005fc274f924538de46e196ed7540bc2b2b406a80ba884422e516cf3d6