From b76b5df044c4e4cf2927075d3dbbd96c5394f267 Mon Sep 17 00:00:00 2001
From: Andreas Abel <andreas.abel@ifi.lmu.de>
Date: Sun, 28 Jan 2024 17:59:30 +0100
Subject: [PATCH] Cabal help

---
 .github/workflows/cabal-pristine.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/cabal-pristine.yml b/.github/workflows/cabal-pristine.yml
index e3cddbe..d68df02 100644
--- a/.github/workflows/cabal-pristine.yml
+++ b/.github/workflows/cabal-pristine.yml
@@ -29,6 +29,7 @@ jobs:
         echo CABAL_EXE="$(which cabal)"                         >> "${GITHUB_ENV}"
         echo CABAL_VERSION="$(cabal --numeric-version)"         >> "${GITHUB_ENV}"
         echo CABAL_CONFIG_FROM_HELP="$(cabal --help | tail -1)" >> "${GITHUB_ENV}"
+        cabal --help || true
 
     - name: Home
       run: |