small improvements in ci
Description
Description
Details
Details
- Committed
richart Dec 9 2019, 16:38 - Pushed
gitlab-richart Jul 29 2021, 09:01 - Parents
- rAKA66e3133c8270: inceasing timeouts
- Branches
- Unknown
- Tags
richart | Dec 9 2019, 16:38 |
gitlab-richart | Jul 29 2021, 09:01 |