[#25] fix permissions
Failed
Josch Morgenstern
created pipeline for commit
97542381
, finished
1 related merge request: !16 Resolve "CI Tool: Build Doxygen documentation and upload"
17 seconds, queued for 10 seconds