Use bootstrap_file for archive bootstrap files (#248)
#125
| Job | Run time |
|---|---|
| 39s | |
| 42s | |
| 40s | |
| 38s | |
| 18s | |
| 14s | |
| 18s | |
| 11s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 3m 44s |
bootstrap_file for archive bootstrap files (#248)
#125
| Job | Run time |
|---|---|
| 39s | |
| 42s | |
| 40s | |
| 38s | |
| 18s | |
| 14s | |
| 18s | |
| 11s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 3m 44s |