This repository has been archived by the owner on Jan 20, 2025. It is now read-only.
Merge pull request #696 from ls1intum/redesign-menu-bar #283
Job | Run time |
---|---|
12m 37s | |
16s | |
1m 39s | |
14m 32s |
Job | Run time |
---|---|
12m 37s | |
16s | |
1m 39s | |
14m 32s |