feat: multiple grind propagators per declaration
#18251
| Job | Run time |
|---|---|
| 41s | |
| 41s |
grind propagators per declaration
#18251
| Job | Run time |
|---|---|
| 41s | |
| 41s |