From cc043a4ec3efd0299c130df0efef2f0b7c6ae9bb Mon Sep 17 00:00:00 2001
From: William Casarin <jb55@jb55.com>
Date: Sat, 1 Jul 2023 11:26:33 -0700
Subject: [PATCH] check script

---
 check | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 check

diff --git a/check b/check
new file mode 100755
index 00000000..bb7b4e44
--- /dev/null
+++ b/check
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+# This scripts runs various CI-like checks in a convenient way.
+set -eux
+
+cargo check --workspace --all-targets
+cargo check --workspace --all-features --lib --target wasm32-unknown-unknown
+cargo fmt --all -- --check
+cargo clippy --workspace --all-targets --all-features --  -D warnings -W clippy::all
+cargo test --workspace --all-targets --all-features
+cargo test --workspace --doc
+trunk build