another attempt at getting the rust-ci doc push right