From d8e39e49d32502a39c1097e2a4ee9354f321220a Mon Sep 17 00:00:00 2001
From: Joris
Date: Sun, 4 Sep 2022 11:30:17 +0200
Subject: Use run by default in dev-server instead of check

---
 bin/dev-server | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/dev-server b/bin/dev-server
index 84363fb..0669d6d 100755
--- a/bin/dev-server
+++ b/bin/dev-server
@@ -2,7 +2,7 @@
 set -euo pipefail
 cd $(dirname "$0")/..
 
-CMD=${1:-check}
+CMD=${1:-run}
 
 RUST_LOG=budget=info cargo-watch \
   --ignore README.md \
-- 
cgit v1.2.3