chore: adaptations for nightly-2025-12-10 #5596
kim-embuild.yml
on: push
Annotations
6 errors and 4 warnings
|
Lint style
Process completed with exit code 1.
|
|
Build
Process completed with exit code 1.
|
|
Build
Type mismatch
|
|
Build
Process completed with exit code 1.
|
|
Build
Type mismatch
|
|
Build
Process completed with exit code 3.
|
|
Build
unused variable `h_B`
|
|
Build
`cutsat` has been deprecated, use `lia` instead
|
|
Build
unused variable `h_B`
|
|
Build
`cutsat` has been deprecated, use `lia` instead
|