ignore docs folder in linting pipeline
Failed
Karel van Klink
created pipeline for commit
dd9432cc
, finished
1 related merge request: !38 Update documentation
2 minutes 32 seconds, queued for 3 seconds