From 52a8a72aab5c8dd59c4f3a8c8796980fb6bd3687 Mon Sep 17 00:00:00 2001
From: Andreas Tolfsen <andretol@usit.uio.no>
Date: Thu, 15 Jul 2021 10:49:46 +0200
Subject: [PATCH] build: skip error summary

Fixes: GREG-13
---
 mypy.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mypy.ini b/mypy.ini
index ca7b0ad3..309034f4 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -5,6 +5,7 @@ warn_unused_ignores = True
 warn_no_return = True
 warn_return_any = True
 warn_redundant_casts = True
+no_error_summary = True
 
 [mypy.plugins.django-stubs]
 django_settings_module = gregsite.settings.dev
-- 
GitLab