Skip to content
Snippets Groups Projects

rebrand to "Knot Resolver"

Failed
Petr Špaček created pipeline for commit e37c51a4
, finished
1 related merge request: !652 Rebrand to "Knot Resolver"
24 jobs 24 seconds, queued for 4 seconds