Quick jobs

Deprecating `--solver=modular` CLI argument #8044

Sign in to view logs

Triggered via pull request December 19, 2023 09:08

yvan-sraka

synchronize #9206

yvan-sraka:refactoring-choose-solver

Status Success

Total duration 6m 18s

Artifacts –

quick-jobs.yml

on: pull_request