Booster: Only check SMT prelude in initSolver
(#4040)
#78
master.yml
on: push
Cache Stack
11m 34s
Version Bump
17s