Skip to content

perf: increase default assertion solving timeout from 1s to 1m #997

perf: increase default assertion solving timeout from 1s to 1m

perf: increase default assertion solving timeout from 1s to 1m #997

test (macos-latest, 3.11, generic, --cache-solver)

succeeded Sep 21, 2024 in 2m 9s