to-directory-tree: Create parents of files when using fixpoint directory tree representation
#908
| Job | Run time |
|---|---|
| 28m 55s | |
| 32m 29s | |
| 29m 8s | |
| 30m 41s | |
| 28m 57s | |
| 48m 15s | |
| 32m 26s | |
| 30m 34s | |
| 4h 21m 25s |