From 5c2803c32ca1e493ccf10494fed0a97c39ce48b0 Mon Sep 17 00:00:00 2001
From: Jannis Leidel <jannis@leidel.info>
Date: Thu, 26 Nov 2020 09:29:44 +0100
Subject: [PATCH] Write coverage file.

---
 tox.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tox.ini b/tox.ini
index 53ad40a..bd6a48e 100644
--- a/tox.ini
+++ b/tox.ini
@@ -12,6 +12,7 @@ usedevelop = true
 commands =
     coverage run -a example/manage.py test authority exampleapp
     coverage report
+    coverage xml
 deps =
     coverage
     dj111: Django>=1.11,<2.0