Merge pull request #78 from eMoflon/feature/update-gips-festschrift-url #214
| Job | Run time |
|---|---|
| 8s | |
| 8s | |
| 8s | |
| 8s | |
| 8s | |
| 8s | |
| 1m 10s | |
| 1m 14s | |
| 1m 15s | |
| 1m 14s | |
| 1m 29s | |
| 57s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 9s | |
| 8m 16s |
| Job | Run time |
|---|---|
| 8s | |
| 8s | |
| 8s | |
| 8s | |
| 8s | |
| 8s | |
| 1m 10s | |
| 1m 14s | |
| 1m 15s | |
| 1m 14s | |
| 1m 29s | |
| 57s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 9s | |
| 8m 16s |