Add sanity checks to ci.
commita45fb0ac3889ca22ec0024f8fd17d2d5835e1e41
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 18 Dec 2020, 09:25 (6 years ago)
parentc8c8c8b
.github/workflows/ci.yml+3
@@ -58,6 +58,9 @@ jobs:
5858 steps:
5959 - uses: actions/checkout@v2
6060
61+ - name: Basic sanity checks
62+ run: make check
63+
6164 # need to install older cabal/ghc versions from ppa repository
6265
6366 - name: Install recent cabal/ghc