From 853bbdf4a2c156b7500e2abb11e04ed19a0b03cc Mon Sep 17 00:00:00 2001
From: Chris Sangwin <C.J.Sangwin@ed.ac.uk>
Date: Tue, 21 Jan 2025 14:00:10 +0000
Subject: [PATCH] Exclude "main" from CI since we don't currently support
 Moodle 5.0.

---
 .github/workflows/moodle-ci.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.github/workflows/moodle-ci.yml b/.github/workflows/moodle-ci.yml
index 2edf15901..24783e1be 100644
--- a/.github/workflows/moodle-ci.yml
+++ b/.github/workflows/moodle-ci.yml
@@ -33,11 +33,6 @@ jobs:
         # We use a mix of SBCL and GCL.
         # As of Sept 2024, SBCL is not working.
         include:
-          - php: '8.2'
-            moodle-branch: 'main'
-            database: 'pgsql'
-            maxima: 'GCL'
-            moodle-app: true
           - php: '8.2'
             moodle-branch: 'MOODLE_405_STABLE'
             database: 'pgsql'
-- 
GitLab