Merge branch 'release/1.0.0' into github-master
Passed
Denis Arrivault
created pipeline for commit
37a6ff0e
, finished
For master
1 minute 21 seconds, queued for 7 seconds