Add a minimal CI config file
Failed
BinderDavid
created pipeline for commit
5f78f9c9
, finished
1 related merge request: !1 Add a minimal CI config file
10 minutes 13 seconds, queued for 33 seconds