Каким образом можно автоматизировать проверку типов в процессе непрерывной интеграции и развертывания?