Merge pull request #151 from boschresearch/docs-improvements #655
| Job | Run time |
|---|---|
| 6m 34s | |
| 7m 0s | |
| 6m 59s | |
| 8m 28s | |
| 6m 38s | |
| 10m 40s | |
| 9m 21s | |
| 10m 15s | |
| 10m 22s | |
| 8m 2s | |
| 1h 24m 19s |
| Job | Run time |
|---|---|
| 6m 34s | |
| 7m 0s | |
| 6m 59s | |
| 8m 28s | |
| 6m 38s | |
| 10m 40s | |
| 9m 21s | |
| 10m 15s | |
| 10m 22s | |
| 8m 2s | |
| 1h 24m 19s |