Skip to content
Snippets Groups Projects

Merge branch 'master' into 'sqrt_op'

Passed
Olivier BICHLER created pipeline for commit 0e7ba76d
, finished
Related merge request !18 to merge sqrt_op
merge request
16 jobs 26 minutes 59 seconds, queued for 203 seconds