fix: ground theorems as grind parameters
#10863
awaiting-manual.yml
on: pull_request
check-awaiting-manual
4s
grind parameters
#10863