feat: multiple grind propagators per declaration
#22180
| Job | Run time |
|---|---|
| 58s | |
| 58s |
grind propagators per declaration
#22180
| Job | Run time |
|---|---|
| 58s | |
| 58s |