Skip to content
Linting

Deprecating --solver=modular CLI argument #1630

Sign in to view logs

Deprecating --solver=modular CLI argument

Deprecating --solver=modular CLI argument #1630

Triggered via pull request December 19, 2023 09:08
@yvan-srakayvan-sraka
synchronize #9206
yvan-sraka:refactoring-choose-solver
Status Success
Total duration 1m 18s
Artifacts –

lint.yml

on: pull_request
hlint
1m 8s
hlint
Fit to window
Zoom out
Zoom in