More work on automated build and verification