From fc94236d6826e9f669f420875a597cf59abcb48f Mon Sep 17 00:00:00 2001
From: Jack Betteridge <j.betteridge@imperial.ac.uk>
Date: Wed, 11 Sep 2024 11:34:43 +0100
Subject: [PATCH] More flags

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1397af1407..bb0dd2e927 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -111,6 +111,9 @@ jobs:
         with:
           report_paths: '/__w/firedrake/firedrake/firedrake.xml'
           comment: true
+          check_name: 'Firedrake'
+          job_name: ${{ matrix.scalar-type }}
+          flaky_summary: true
       - name: Test pyadjoint
         if: ${{ matrix.scalar-type == 'real' }}
         run: |