Add locked into CI for no_std cargo build

Author: ConstanceBeguier

.github/workflows/ci.yml

@@ -88,7 +88,7 @@ jobs:
           cargo update -p syn --precise 2.0.114
       - name: Build no_std for target
         working-directory: ./ci-build
-        run: cargo build --verbose --target ${{ matrix.target }}
+        run: cargo build --locked --verbose --target ${{ matrix.target }}
 
   bitrot:
     name: Bitrot check