From 9ebf02d4738646f7c5b446d2d8c583a465eb6e05 Mon Sep 17 00:00:00 2001
From: Jan de Muijnck-Hughes <Jan.de-Muijnck-Hughes@strath.ac.uk>
Date: Wed, 19 Jun 2024 17:38:51 +0100
Subject: [PATCH] [ ci ] ensure we test idris1 againsts latest idris1 and
 emacs.

---
 .github/workflows/idris1.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/idris1.yml b/.github/workflows/idris1.yml
index 3095d7f..6b1d126 100644
--- a/.github/workflows/idris1.yml
+++ b/.github/workflows/idris1.yml
@@ -19,8 +19,8 @@ jobs:
     timeout-minutes: 60
     strategy:
       matrix:
-        emacs: [27.2, 28.2, 29.3]
-        idris: [git, stackage]
+        emacs: [29.3]
+        idris: [git]
     env:
       EMACS_VERSION: ${{ matrix.emacs }}
       IDRIS_VERSION: ${{ matrix.idris }}