Merge pull request #136 from AdaWorldAPI/claude/vsaclip-hamming-recognition-y0b94

Claude/vsaclip hamming recognition y0b94

Author: AdaWorldAPI

.github/workflows/ci-master.yml

@@ -29,6 +29,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
+
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"
@@ -52,6 +55,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
+
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"
@@ -80,6 +86,9 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
+
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"

.github/workflows/proof.yml

@@ -55,6 +55,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"
@@ -71,6 +74,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"
@@ -87,6 +93,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"
@@ -103,6 +112,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"
@@ -119,6 +131,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"
@@ -135,6 +150,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+
+      - name: Init vendor submodules
+        run: git submodule update --init vendor/rustynum
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: "1.93.0"

.gitmodules

@@ -4,3 +4,6 @@
 [submodule "vendor/lance"]
 	path = vendor/lance
 	url = https://github.com/AdaWorldAPI/lance.git
+[submodule "vendor/rustynum"]
+	path = vendor/rustynum
+	url = https://github.com/AdaWorldAPI/rustynum