From ed3b6843e86d63b7071741419e7979f896891fee Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@posteo.de>
Date: Thu, 22 Jan 2026 15:31:59 +0800
Subject: [PATCH] CI experiment

---
 .github/workflows/test.yaml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 2d165657..5299b98c 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -5,6 +5,8 @@ on:
     branches: [ master ]
   pull_request:
     branches: [ master ]
+  schedule:
+    - cron: '0 0 * * *'
 
 jobs:
   tool-output:
@@ -27,15 +29,23 @@ jobs:
         other=$(for v in $other_major ; do point_releases=$(echo "$all" | awk '{ print $2 }' | grep --color=never "^$v.") ; echo "${point_releases}" | tail -n1  ; done)
 
         selected=$(echo -n ${rec} ${latest} ${other} | tr " " "\n"  | sort -Vu)
-        selected_json=$(echo -n $selected | jq -c -r -R 'split(" ") | [ .[] | if length > 0 then . else empty end ]')
+        ghc_exclude=( $GHC_EXCLUDE )
+        selected_filtered=()
+        for ghc in $selected ; do
+          printf '%s\0' "${ghc_exclude[@]}" | grep --quiet --color=never -F -x -z -- $ghc || selected_filtered+=( $ghc )
+        done
+        unset ghc
+        selected_json=$(echo -n ${selected_filtered[@]} | jq -c -r -R 'split(" ") | [ .[] | if length > 0 then . else empty end ]')
 
         echo "${selected}"
+        echo "${selected_filtered}"
         echo "${selected_json}"
 
         echo ghc_versions="${selected_json}" >> "$GITHUB_OUTPUT"
       shell: bash
       env:
         GHC_TEST_NUM: ${{ vars.GHC_TEST_NUM }}
+        GHC_EXCLUDE: ${{ vars.GHC_EXCLUDE }}
 
   build: