"utils/patch_header.sh" did not exist on "257a264028ba765303525b84c6be3f9fabd283c0"
WIP: files
Failed
Timm Fitschen
created pipeline for commit
ef5885d8
, finished
1 related merge request: !11 F files
5 minutes 32 seconds, queued for 4 seconds