From a45fb0ac3889ca22ec0024f8fd17d2d5835e1e41 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 18 Dec 2020 09:25:02 -0800
Subject: Add sanity checks to ci.

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.github/workflows')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4debe1ebe..020a645ae 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -58,6 +58,9 @@ jobs:
     steps:
     - uses: actions/checkout@v2
 
+    - name: Basic sanity checks
+      run: make check
+
     # need to install older cabal/ghc versions from ppa repository
 
     - name: Install recent cabal/ghc
-- 
cgit v1.2.3