diff options
| -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 | 
