Merge branch '10-improve-colors-theme' into 'master'
Failed
Benoît Harrault
created pipeline for commit 3cf724c0
, finished
For 12-remove-deprecated-armeabi-build
3 minutes 51 seconds, queued for 5,662 seconds