Trivial docs edits and rename @migrate
#444
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 2m 58s | |
| 2m 57s | |
| 4m 51s | |
| 3m 47s | |
| 14m 33s |
@migrate
#444
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 2m 58s | |
| 2m 57s | |
| 4m 51s | |
| 3m 47s | |
| 14m 33s |