feat: add new adaptive termination type #2930
pull_request.yml
on: pull_request
Matrix: Java Solver
Matrix: Native Image
Matrix: Python Solver
Annotations
9 errors and 11 warnings