From 727d586da46493465517562e5525a0c3608a8807 Mon Sep 17 00:00:00 2001
From: Jan de Muijnck-Hughes <Jan.de-Muijnck-Hughes@strath.ac.uk>
Date: Mon, 10 Jun 2024 10:22:43 +0100
Subject: [PATCH] [ ci ] bump emacs version range forward.

---
 .github/workflows/idris1.yml | 2 +-
 .github/workflows/idris2.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
index 589cbb9d..3095d7fa 100644
--- a/.github/workflows/idris1.yml
+++ b/.github/workflows/idris1.yml
@@ -19,7 +19,7 @@ jobs:
     timeout-minutes: 60
     strategy:
       matrix:
-        emacs: [25.3, 26.1, 27.2, 28.2]
+        emacs: [27.2, 28.2, 29.3]
         idris: [git, stackage]
     env:
       EMACS_VERSION: ${{ matrix.emacs }}
diff --git a/.github/workflows/idris2.yml b/.github/workflows/idris2.yml
index f7d83570..a89e6dec 100644
--- a/.github/workflows/idris2.yml
+++ b/.github/workflows/idris2.yml
@@ -30,7 +30,7 @@ jobs:
 
     strategy:
       matrix:
-        emacs: [25.3, 26.3, 27.2, 28.2]
+        emacs: [27.2, 28.2, 29.3]
 
     env:
       EMACS_VERSION: ${{ matrix.emacs }}