Skip to content

perf: increase default assertion solving timeout from 1s to 1m (#368) #1005

perf: increase default assertion solving timeout from 1s to 1m (#368)

perf: increase default assertion solving timeout from 1s to 1m (#368) #1005

test (macos-latest, 3.12, --test-parallel, generic, --cache-solver)

succeeded Sep 23, 2024 in 5m 40s