Skip to content

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

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

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

test (windows-latest, 3.11, --test-parallel, generic)

succeeded Sep 21, 2024 in 6m 53s