singletons-th: Make pr_scoped_vars a list of LocalVars, not Names #345
| Job | Run time |
|---|---|
| 5m 8s | |
| 1m 54s | |
| 1m 49s | |
| 1m 40s | |
| 1m 36s | |
| 1m 38s | |
| 1m 30s | |
| 1m 40s | |
| 1m 42s | |
| 1m 27s | |
| 1m 24s | |
| 1m 36s | |
| 23m 4s |
| Job | Run time |
|---|---|
| 5m 8s | |
| 1m 54s | |
| 1m 49s | |
| 1m 40s | |
| 1m 36s | |
| 1m 38s | |
| 1m 30s | |
| 1m 40s | |
| 1m 42s | |
| 1m 27s | |
| 1m 24s | |
| 1m 36s | |
| 23m 4s |