CI

.github/workflows/rust.yml

@@ -22,7 +22,8 @@ jobs:
       run: cat /proc/cpuinfo
     - name: Format
       run: cargo fmt --check
-    - name: Build
-      run: cargo build --verbose
-    - name: Run tests
-      run: cargo test --verbose
+    - name: Build and run tests
+      run: cargo test --verbose --release
+    - name: Verify amm
+      run: cargo run --release --bin amm
+