Skip to content

[circt-bmc] Fix elif -> else to make it compile without execution engine #6647

[circt-bmc] Fix elif -> else to make it compile without execution engine

[circt-bmc] Fix elif -> else to make it compile without execution engine #6647

Triggered via push September 30, 2024 13:35
Status Success
Total duration 13m 11s
Artifacts
Build and Test  /  build-test-and-install
12m 59s
Build and Test / build-test-and-install
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build and Test / build-test-and-install
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/