diff options
Diffstat (limited to '.github/workflows')
-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 |