diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:30:15 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:30:15 -0700 |
| commit | 97f36568fb39cb3c9ecd1e3e17ac6f0e822a147b (patch) | |
| tree | b66a17df0787b55698cb6ba2ca302ca293951250 /.github | |
| parent | 84ab15c9f0a4408c056b0f3de28d4f392376610d (diff) | |
Diagnostic for CI.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
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 |