diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 82985f5..db2fcb7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,9 +12,7 @@ jobs: env: CMAKE_OPTIONS: -DCMARK_SHARED=OFF run: | - mkdir -p build && cd build && cmake $CMAKE_OPTIONS .. make - du build make test make leakcheck @@ -28,7 +26,7 @@ jobs: env: CMAKE_OPTIONS: -DCMARK_SHARED=OFF run: | - mkdir -p build && cd build && cmake $CMAKE_OPTIONS .. + make make test make leakcheck |