Formatting

Removing `chooseSolver` and inline `Modular` solver as default choice #479

Sign in to view logs

Summary
Jobs
- fourmolu
Run details
- Usage
- Workflow file

Triggered via pull request October 6, 2023 07:59

synchronize #9282

yvan-sraka:simplify-choose-solver

Status Success

Total duration 45s

Artifacts –

format.yml

on: pull_request