Allow library tool resource handling to be disabled #3272
| Job | Run time |
|---|---|
| 1m 55s | |
| 33m 50s | |
| 1m 15s | |
| 2m 51s | |
| 20m 22s | |
| 42m 54s | |
| 11m 58s | |
| 26m 39s | |
| 12m 53s | |
| 32m 22s | |
| 9m 9s | |
| 39m 4s | |
| 35m 58s | |
| 40m 28s | |
| 36m 23s | |
| 36m 10s | |
| 31m 49s | |
| 43m 34s | |
| 36m 0s | |
| 32m 48s | |
| 31m 54s | |
| 33m 4s | |
| 47m 3s | |
| 10h 40m 23s |