Allow setting strict-dynamic on strict-src-elem and set it by default
#883
| Job | Run time |
|---|---|
| 6s | |
| 6m 58s | |
| 6m 43s | |
| 7m 13s | |
| 4s | |
| 21m 4s |
strict-dynamic on strict-src-elem and set it by default
#883
| Job | Run time |
|---|---|
| 6s | |
| 6m 58s | |
| 6m 43s | |
| 7m 13s | |
| 4s | |
| 21m 4s |