CodeQL

config: tighten solver tolerances for SB, MSV and RH solves #2506

Sign in to view logs

Triggered via pull request July 31, 2026 13:59

daniel-rdt

synchronize #821

feat/update-solver-tolerances

Status Success

Total duration 1m 2s

Artifacts –

codeql.yaml

on: pull_request

Matrix: analyze