From d67e7d087ee1f3452ddc3dfb60779eea0f2ab581 Mon Sep 17 00:00:00 2001
From: Pablo Brubeck <brubeck@protonmail.com>
Date: Tue, 12 Aug 2025 12:49:26 +0100
Subject: [PATCH] DO NOT MERGE

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

diff --git a/.github/workflows/core.yml b/.github/workflows/core.yml
index 7e47a9cd83..d0a45db926 100644
--- a/.github/workflows/core.yml
+++ b/.github/workflows/core.yml
@@ -212,6 +212,7 @@ jobs:
           pip install -U pip
           pip install --group ./firedrake-repo/pyproject.toml:ci
 
+          pip install -I "firedrake-fiat @ git+https://github.com/firedrakeproject/fiat.git@pbrubeck/simplify-indexed"
           firedrake-clean
           pip list