precious-files.txt: new document proposing new precious file type #1151
| Job | Run time |
|---|---|
| 5s | |
| 0s | |
| 2m 59s | |
| 2m 50s | |
| 0s | |
| 2m 59s | |
| 2m 59s | |
| 2m 9s | |
| 2m 50s | |
| 2m 55s | |
| 2m 55s | |
| 2m 58s | |
| 2m 58s | |
| 2m 57s | |
| 2m 55s | |
| 2m 58s | |
| 3m 3s | |
| 2m 59s | |
| 0s | |
| 43m 29s |
| Job | Run time |
|---|---|
| 5s | |
| 0s | |
| 2m 59s | |
| 2m 50s | |
| 0s | |
| 2m 59s | |
| 2m 59s | |
| 2m 9s | |
| 2m 50s | |
| 2m 55s | |
| 2m 55s | |
| 2m 58s | |
| 2m 58s | |
| 2m 57s | |
| 2m 55s | |
| 2m 58s | |
| 3m 3s | |
| 2m 59s | |
| 0s | |
| 43m 29s |