Skip to content
Assorted

Deprecating --solver=modular CLI argument #1067

Sign in to view logs

Deprecating --solver=modular CLI argument

Deprecating --solver=modular CLI argument #1067

Triggered via pull request October 28, 2023 13:45
@yvan-srakayvan-sraka
synchronize #9206
yvan-sraka:refactoring-choose-solver
Status Cancelled
Total duration 34s
Artifacts –

users-guide.yml

on: pull_request
Matrix: Users guide
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Users guide (3.10)
Canceling since a higher priority waiting request for 'refs/pull/9206/merge-Assorted' exists
Users guide (3.10)
The operation was canceled.