fix: show deprecation warnings for grind theorem arguments
#48296
| Job | Run time |
|---|---|
| 6s | |
| 6m 20s | |
| 46m 3s | |
| 54m 41s | |
| 3s | |
| 0s | |
| 0s | |
| 1h 47m 13s |
grind theorem arguments
#48296
| Job | Run time |
|---|---|
| 6s | |
| 6m 20s | |
| 46m 3s | |
| 54m 41s | |
| 3s | |
| 0s | |
| 0s | |
| 1h 47m 13s |