From 97f36568fb39cb3c9ecd1e3e17ac6f0e822a147b Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 12 May 2020 22:30:15 -0700
Subject: Diagnostic for CI.

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

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
 
-- 
cgit v1.2.3