From c5e6a8c093596f871e97ce4c274e8641d34e3075 Mon Sep 17 00:00:00 2001
From: Takahiro Ueda <t.ueda.od@juntendo.ac.jp>
Date: Sat, 10 Jan 2026 15:13:12 +0900
Subject: [PATCH] ci: upgrade FLINT to 3.4.0

See: https://flintlib.org/doc/history.html#flint-3-4-0
---
 .github/actions/setup-build/action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/actions/setup-build/action.yml b/.github/actions/setup-build/action.yml
index 4b85bd14..00d0a036 100644
--- a/.github/actions/setup-build/action.yml
+++ b/.github/actions/setup-build/action.yml
@@ -12,7 +12,7 @@ inputs:
   flint_version:
     description: FLINT version to build.
     required: false
-    default: '3.3.1'
+    default: '3.4.0'
 
 runs:
   using: composite