Skip to content
Snippets Groups Projects

KnowSwhidFilterProvenance: add a `filter_licenses` config option

Passed
Jenkins Bot created pipeline for commit 7ef1e733
, finished
1 related merge request: !180 KnowSwhidFilterProvenance: add a `filter_licenses` config option
branch
1 job