Skip to content
Snippets Groups Projects

add binder_list

Passed
Ralf Jung created pipeline for commit 42cdeefa
, finished
Related merge request !312 to merge ralf/binder_list
merge request
2 jobs 4 minutes 59 seconds, queued for 4 seconds