From 583ff2010755455e2700c6f9b2efc3caa7441d66 Mon Sep 17 00:00:00 2001
From: Jack Betteridge <J.Betteridge@imperial.ac.uk>
Date: Thu, 11 Jul 2024 16:55:28 +0100
Subject: [PATCH] Re-enable coverage

---
 .github/workflows/build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 4f61ab2d9b..ccde31bf24 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -87,8 +87,9 @@ jobs:
         run: |
           . ../firedrake_venv/bin/activate
           python "$(which firedrake-clean)"
+          python --version
           python -m pip install \
-            pytest-xdist pytest-timeout ipympl
+            pytest-cov pytest-xdist pytest-timeout ipympl
           python -m pip list
       - name: Test Firedrake
         run: |
@@ -98,6 +99,7 @@ jobs:
           python -m pytest -v tests/test_0init.py
           python -m pytest \
             --durations=200 \
+            --cov firedrake \
             --timeout=1800 \
             --timeout-method=thread \
             -o faulthandler_timeout=1860 \