Skip to content
Snippets Groups Projects

Merge branch 'add-gitlab-ci' into 'master'

Passed
BinderDavid created pipeline for commit 2f406883
, finished
For master
1 job 2 minutes 45 seconds, queued for 244 seconds