Skip to content
continuous integration

fix #5598

Sign in to view logs

fix

fix #5598

Triggered via push December 10, 2025 23:13
@kim-emkim-em
pushed fe7d02c
bump/v4.27.0
Status Failure
Total duration 6m 53s
Artifacts –

build.yml

on: push
Build
6m 50s
Build
Lint style
2m 6s
Lint style
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Build
Process completed with exit code 1.
Build
unused variable `h_B`
Build
`cutsat` has been deprecated, use `lia` instead