From 93bc161687ccf30ebd89581ac5bb28e3c2ffb09d Mon Sep 17 00:00:00 2001
From: Eric Mertens <emertens@galois.com>
Date: Mon, 16 Oct 2023 16:26:54 -0700
Subject: [PATCH] fix ci

---
 .github/workflows/haskell-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml
index f5644d6..93e8ece 100644
--- a/.github/workflows/haskell-ci.yml
+++ b/.github/workflows/haskell-ci.yml
@@ -127,6 +127,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           path: source
+          submodules: "true"
       - name: initial cabal.project for sdist
         run: |
           touch cabal.project