Will self-accept.
1 patch for repository http://darcs.net/screened:
patch c7d30045365c5e26e9594cfef6223795bf7057d7
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Jul 14 16:06:50 CEST 2023
* ci: fix a bug that caused tests to be run only for ghc-8.4.4