docs: shorten project name in doxygen #123
| Job | Run time |
|---|---|
| 14m 5s | |
| 14m 16s | |
| 26m 39s | |
| 19m 17s | |
| 26m 42s | |
| 27m 1s | |
| 34m 21s | |
| 25m 29s | |
| 21m 55s | |
| 29m 25s | |
| 30m 13s | |
| 20m 32s | |
| 25m 55s | |
| 19m 0s | |
| 25m 34s | |
| 28m 36s | |
| 27m 28s | |
| 17m 32s | |
| 26m 22s | |
| 29m 29s | |
| 25m 47s | |
| 17m 29s | |
| 27m 17s | |
| 28m 17s | |
| 25m 3s | |
| 27m 55s | |
| 10h 41m 39s |