fix: ground theorems as grind parameters
#15560
Triggered via pull request
December 11, 2025 08:03
leodemoura
leodemoura
closed
#11579
Status
Success
Total duration
9s
Artifacts
–