Skip to content
Snippets Groups Projects

Merge branch 'master' into drop-dependencies

Passed
Tom Teichler created pipeline for commit 813e5523
, finished
1 related merge request: !604 Remove dependency "requests". Closes #436
8 jobs 30 minutes 6 seconds, queued for 6 seconds