Skip to content
Snippets Groups Projects

occbin: add interface for recently introduced options

Passed
Johannes Pfeifer created pipeline for commit b2a7771d
, finished
1 related merge request: !45 occbin: add interface for recently introduced options
6 jobs 3 minutes 46 seconds, queued for 5 seconds