Update subproject commit and enhance Z3 solver methods; adjust assert… #15
riccardodebenedictisnpm-publish.yml
on: push
ratio-core-lib
10s
ratio-gui-lib
12s
Annotations
11 errors and 2 warnings
|
ratio-core-lib
Process completed with exit code 1.
|
|
ratio-gui-lib
Cannot find module 'ratio-core' or its corresponding type declarations.
|
|
ratio-gui-lib
Property 'element' does not exist on type 'SolverAnchor'.
|
|
ratio-gui-lib
Property 'element' does not exist on type 'SolverAnchor'.
|
|
ratio-gui-lib
Property 'payload' does not exist on type 'SolverAnchor'.
|
|
ratio-gui-lib
Property 'payload' does not exist on type 'SolverAnchor'.
|
|
ratio-gui-lib
This member cannot have an 'override' modifier because its containing class 'SolverAnchor' does not extend another class.
|
|
ratio-gui-lib
Property 'payload' does not exist on type 'SolverAnchor'.
|
|
ratio-gui-lib
Property 'element' does not exist on type 'SolverListItem'.
|
|
ratio-gui-lib
Property 'element' does not exist on type 'SolverAnchor'.
|
|
ratio-gui-lib
Property 'element' does not exist on type 'SolverComponent'.
|
|
ratio-core-lib
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
ratio-gui-lib
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|