summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:36:02 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:36:02 -0700
commit59ff258ea11740f189e7a9fb0011fb10821dd756 (patch)
treea213ec685f891fdacd92a2f83a62cd1ab74943e5 /.github
parent97f36568fb39cb3c9ecd1e3e17ac6f0e822a147b (diff)
Fix CI.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml4
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