Update bumpy build file
Merge branch 'dev' into dev.add.github