Skip to content
Snippets Groups Projects

Merge branch 'docs' into 'master'

Failed
Jakub Ružička created pipeline for commit 72ddd636
, finished
For master
Scheduled
34 jobs 30 minutes 47 seconds, queued for 8 seconds