Merge pull request #276 from ycexiao/rm_texinfo #32
| Job | Run time |
|---|---|
| 1m 39s | |
| 1m 45s | |
| 1m 39s | |
| 5m 22s | |
| 4m 25s | |
| 4m 14s | |
| 4m 4s | |
| 4m 4s | |
| 3m 4s | |
| 2m 11s | |
| 2m 14s | |
| 2m 34s | |
| 37m 15s |
| Job | Run time |
|---|---|
| 1m 39s | |
| 1m 45s | |
| 1m 39s | |
| 5m 22s | |
| 4m 25s | |
| 4m 14s | |
| 4m 4s | |
| 4m 4s | |
| 3m 4s | |
| 2m 11s | |
| 2m 14s | |
| 2m 34s | |
| 37m 15s |