Skip to content
Linting

Deprecating --solver=modular CLI argument #1161

Sign in to view logs

Deprecating --solver=modular CLI argument

Deprecating --solver=modular CLI argument #1161

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

lint.yml

on: pull_request
hlint
2m 3s
hlint
Fit to window
Zoom out
Zoom in