Skip to content
Snippets Groups Projects

Add pipeline job to check if CRD docs have changed

Passed
Sören Henning created pipeline for commit 5a585194
, finished
Related merge request !164 to merge 0.5-docs
merge request
14 jobs 3 minutes 48 seconds, queued for 4 seconds