Merge branch 'add_licence' into 'main'
Passed
Robin Sonnabend
created pipeline for commit
e57dc731
, finished
For main
24 seconds, queued for 4 seconds