From 22fd74ec1d66a929918ef387b9b31c32891652e0 Mon Sep 17 00:00:00 2001
From: fallenoak <git@fallenoak.me>
Date: Mon, 30 Nov 2020 22:36:53 -0600
Subject: [PATCH] chore(build): make build commands more generic in push
 workflow

---
 .github/workflows/push.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index e476df2..2cd0299 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -36,7 +36,7 @@ jobs:
         run: cd build && cmake .. -DCMAKE_BUILD_TYPE=${{ matrix.config.build_type }}
 
       - name: Build
-        run: cd build && make
+        run: cmake --build build --config ${{ matrix.config.build_type }}
 
       - name: Test
         run: ./build/test/StormTest