zero-padding CI build number, per review comment