From 59ff258ea11740f189e7a9fb0011fb10821dd756 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 12 May 2020 22:36:02 -0700 Subject: Fix CI. --- .github/workflows/ci.yml | 4 +--- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3