From 7a1d80e5e72db258031e9c5bc0535d63e7452d2b Mon Sep 17 00:00:00 2001
From: Pablo Brubeck <brubeck@protonmail.com>
Date: Sat, 5 Jul 2025 16:37:44 +0100
Subject: [PATCH] DROP BEFORE MERGE

---
 .github/workflows/core.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/core.yml b/.github/workflows/core.yml
index e3b912c20f..5a783ab400 100644
--- a/.github/workflows/core.yml
+++ b/.github/workflows/core.yml
@@ -205,6 +205,7 @@ jobs:
             --extra-index-url https://download.pytorch.org/whl/cpu \
             "$(echo ./firedrake-repo/dist/firedrake-*.tar.gz)[ci,docs]"
 
+          pip install -I "firedrake-fiat @ git+https://github.com/firedrakeproject/fiat.git@pbrubeck/trace"
           firedrake-clean
           pip list