Skip to content
Linting

Deprecating --solver=modular CLI argument #1162

Sign in to view logs

Deprecating --solver=modular CLI argument

Deprecating --solver=modular CLI argument #1162

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

lint.yml

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