Skip to content
Assorted

Deprecating --solver=modular CLI argument #1244

Sign in to view logs

Deprecating --solver=modular CLI argument

Deprecating --solver=modular CLI argument #1244

Triggered via pull request November 14, 2023 08:41
@yvan-srakayvan-sraka
synchronize #9206
yvan-sraka:refactoring-choose-solver
Status Success
Total duration 10m 3s
Artifacts –

changelogs.yml

on: pull_request
Changelogs
9m 48s
Changelogs
Fit to window
Zoom out
Zoom in