Merge branch 'main' of github.com:hyperpolymath/robot-vacuum-cleaner

Author: hyperpolymath

.github/workflows/hypatia-scan.yml

@@ -40,12 +40,10 @@ jobs:
       - name: Build Hypatia scanner (if needed)
         working-directory: ${{ env.HOME }}/hypatia
         run: |
-          if [ ! -f hypatia-v2 ]; then
+          if [ ! -f hypatia ] && [ ! -f hypatia-v2 ]; then
             echo "Building hypatia-v2 scanner..."
-            cd scanner
             mix deps.get
             mix escript.build
-            mv hypatia ../hypatia-v2
           fi
 
       - name: Run Hypatia scan

src/rust/Cargo.lock

@@ -16,7 +16,7 @@ nalgebra = "0.32"
 num-traits = "0.2"
 
 # Random number generation
-rand = "0.8"
+rand = "0.9"
 rand_distr = "0.4"
 
 # Serialization