ci: Preparing the repo to go public

2025-09-11 17:19:52 -06:00
parent 1849e11063
commit ca990f460e
31 changed files with 1229 additions and 46 deletions
@@ -0,0 +1,13 @@
+#!/bin/sh
+set -e
+
+echo "Running pre-push hook:"
+
+echo "Executing: cargo fmt --check"
+cargo fmt --check
+
+echo "Executing: make lint"
+make lint
+
+echo "Executing: cargo test"
+cargo test -- --skip prop_