Remove doc deploy to ci.hail.is (#4399)
Remove doc deploy to ci.hail.is (#4399)


hail-is/hail,danking/hail,hail-is/hail,danking/hail,cseed/hail,hail-is/hail,danking/hail,danking/hail,hail-is/hail,cseed/hail,hail-is/hail,cseed/hail,danking/hail,hail-is/hail,danking/hail,danking/hail,danking/hail,hail-is/hail,cseed/hail,cseed/hail,cseed/hail,hail-is/hail,cseed/hail,cseed/hail