one more attempt at getting the rust-ci doc push right