Skip to content
Snippets Groups Projects

Merge branch 'master' into 'update-dot-1.7'

Passed
Nik | Klampfradler created pipeline for commit 00c0cd80
, finished
1 related merge request: !938 Update DOT to 1.7 and add background task
9 jobs 22 minutes 32 seconds, queued for 4 seconds