[#25] change to shell executor
Failed
Josch Morgenstern
created pipeline for commit
571e46c4
, finished
1 related merge request: !16 Resolve "CI Tool: Build Doxygen documentation and upload"
34 seconds, queued for 7 seconds