sqlite: delete_node: don't assume the key is cached in self._ids #116
| Job | Run time |
|---|---|
| 3m 2s | |
| 4m 28s | |
| 2m 58s | |
| 2m 57s | |
| 8m 17s | |
| 6m 45s | |
| 8m 17s | |
| 8m 56s | |
| 4m 38s | |
| 5m 56s | |
| 6m 7s | |
| 9m 28s | |
| 1h 11m 49s |
| Job | Run time |
|---|---|
| 3m 2s | |
| 4m 28s | |
| 2m 58s | |
| 2m 57s | |
| 8m 17s | |
| 6m 45s | |
| 8m 17s | |
| 8m 56s | |
| 4m 38s | |
| 5m 56s | |
| 6m 7s | |
| 9m 28s | |
| 1h 11m 49s |