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