From 4daf5def725c7e10c746c2d268c2e201885a4b12 Mon Sep 17 00:00:00 2001
From: Dan Kubb <github@dan.kubb.ca>
Date: Thu, 9 Nov 2023 13:01:36 -0500
Subject: [PATCH] Change pgt build to create binary

---
 .github/workflows/ci.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 923498eb..80d5b9ca 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -75,7 +75,11 @@ jobs:
     - name: Install dependencies
       run: ./stack build --test --only-dependencies
     - name: Build
+      if: matrix.project != 'pgt'
       run: ./stack build --fast --test --no-run-tests ${{ matrix.project }}
+    - name: Build pgt binary
+      if: matrix.project == 'pgt'
+      run: ./stack build --fast --test --no-run-tests --copy-bins --flag pgt:build-executable ${{ matrix.project }}
     - name: Run tests
       run: ./stack build --fast --test ${{ matrix.project }}
   all-checks: