Remove randomness by default of BBox strategies #754
maven-test.yml
on: pull_request
Matrix: test-solver
Matrix: test-mzn
Matrix: test-parser
Annotations
5 errors
test-solver (1s)
Process completed with exit code 1.
|
test-solver (10s)
The job was canceled because "_1s" failed.
|
test-solver (10s)
The operation was canceled.
|
test-solver (checker)
The job was canceled because "_1s" failed.
|
test-solver (checker)
The operation was canceled.
|