Merge pull request #11988 from haskell/mergify/bp/3.18/pr-11969

Backport #11969: Run `cabal check` on CI

Author: mergify[bot]

.github/workflows/validate.yml

@@ -153,6 +153,9 @@ jobs:
           fi
           echo "FLAGS=$FLAGS" >> "$GITHUB_ENV"
 
+      - name: Run cabal check
+        run: make check
+
       - name: Validate build
         run: sh validate.sh $FLAGS -s build
 

Makefile

@@ -49,6 +49,15 @@ FORMAT_DIRS_TODO := \
 	cabal-testsuite/static \
 	solver-benchmarks
 
+.PHONY: check
+check:
+	@cd Cabal && cabal check | grep -q "No errors or warnings could be found in the package."
+	@cd cabal-install && cabal check | grep -q "No errors or warnings could be found in the package."
+	@cd Cabal-syntax && cabal check | grep -q "No errors or warnings could be found in the package."
+	@cd Cabal-hooks && cabal check | grep -q "No errors or warnings could be found in the package."
+	@cd hooks-exe && cabal check | grep -q "No errors or warnings could be found in the package."
+	@cd cabal-install-solver && cabal check | grep -q "No errors or warnings could be found in the package."
+
 .PHONY: style-todo
 style-todo: ## Configured for fourmolu, avoiding GHC parser failures.
 	@fourmolu -q $(FORMAT_DIRS_TODO) > /dev/null