From c918b3581d7e005470c6f42cc02b4bc732055fb8 Mon Sep 17 00:00:00 2001
From: Pablo Brubeck <brubeck@protonmail.com>
Date: Sat, 9 Aug 2025 14:58:26 +0100
Subject: [PATCH] Test FIAT #157, #162, #164, #166

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

diff --git a/.github/workflows/core.yml b/.github/workflows/core.yml
index 7e47a9cd83..486c5fbfb7 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/test/fiat"
           firedrake-clean
           pip list