summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:30:15 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:30:15 -0700
commit97f36568fb39cb3c9ecd1e3e17ac6f0e822a147b (patch)
treeb66a17df0787b55698cb6ba2ca302ca293951250
parent84ab15c9f0a4408c056b0f3de28d4f392376610d (diff)
Diagnostic for CI.
-rw-r--r--.github/workflows/ci.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 85d9fed..82985f5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -13,6 +13,8 @@ jobs:
CMAKE_OPTIONS: -DCMARK_SHARED=OFF
run: |
mkdir -p build && cd build && cmake $CMAKE_OPTIONS ..
+ make
+ du build
make test
make leakcheck