Merge pull request #100 from 'origin/murisi/dot-product'

Author: murisi

.github/workflows/ci.yml

@@ -134,6 +134,6 @@ jobs:
     - name: Add target
       run: rustup toolchain install 1.81.0-x86_64-unknown-linux-gnu
     - name: Install cargo-audit
-      run: cargo install cargo-audit
+      run: cargo install cargo-audit --locked
     - name: Cargo Audit
       run: cargo audit