diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:36:02 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:36:02 -0700 |
| commit | 59ff258ea11740f189e7a9fb0011fb10821dd756 (patch) | |
| tree | a213ec685f891fdacd92a2f83a62cd1ab74943e5 /.github | |
| parent | 97f36568fb39cb3c9ecd1e3e17ac6f0e822a147b (diff) | |
Fix CI.
Diffstat (limited to '.github')
| -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 |