github-ci: add check for update to date Cargo.lock.in

After a build, check if Cargo.lock.in and Cargo.lock differ, if so,
Cargo.lock.in needs an update as part of a depedency update.

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 3571edd6a45247815745977e97233447f5046821..5c05ccadb1f3f1d4c2ff272f48e43e01a901a558 100644 (file)
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -95,3 +95,12 @@ jobs:
       # especially without debug feature
       - run: cargo clippy
         working-directory: rust
+      - name: Check if Cargo.lock.in is up to date
+        run: |
+          cp rust/Cargo.lock rust/Cargo.lock.in
+          diff=$(git diff rust/Cargo.lock.in)
+          if [ "${diff}" ]; then
+              echo "${diff}"
+              echo "::error ::Cargo.lock.in needs to be updated"
+              exit 1
+          fi