From c0dcbde1c2426d42dafb4ab9bb057a451c8519a4 Mon Sep 17 00:00:00 2001
From: Kristen Kozak <grayjay@wordroute.com>
Date: Thu, 18 Jan 2024 11:09:38 -0800
Subject: [PATCH] Add solver Hackage benchmarks to GitHub Actions (fixes #9495)

---
 .github/workflows/validate.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/validate.yml b/.github/workflows/validate.yml
index 9539e417f49..516b258a992 100644
--- a/.github/workflows/validate.yml
+++ b/.github/workflows/validate.yml
@@ -207,6 +207,18 @@ jobs:
         # Have to disable *-suite validation, see above the comment for lib-suite
         run: sh validate.sh $FLAGS -s cli-suite
 
+      - name: Validate solver-benchmarks-tests
+        run: |
+          if [[ ${{ matrix.ghc }} == ${{ env.GHC_FOR_SOLVER_BENCHMARKS }} ]]; then
+            sh validate.sh $FLAGS -s solver-benchmarks-tests
+          fi
+
+      - name: Validate solver-benchmarks-run
+        run: |
+          if [[ ${{ matrix.ghc }} == ${{ env.GHC_FOR_SOLVER_BENCHMARKS }} ]]; then
+            sh validate.sh $FLAGS -s solver-benchmarks-run
+          fi
+
   validate-old-ghcs:
     name: Validate old ghcs ${{ matrix.extra-ghc }}
     runs-on: ubuntu-latest