From d087aec4b3ad729cdc83d97ed1567f543c990b0e Mon Sep 17 00:00:00 2001
From: dorimedini-starkware <dori@starkware.co>
Date: Wed, 20 Nov 2024 16:45:32 +0200
Subject: [PATCH] feat(ci): check that Cargo.lock is up to date in the CI
 (#2170)

Signed-off-by: Dori Medini <dori@starkware.co>
---
 .github/workflows/main.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6d144a07b9..42e201a850 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -60,6 +60,12 @@ jobs:
           python3 -m venv ci
           ci/bin/pip install -r scripts/requirements.txt
 
+      # Check Cargo.lock is up to date.
+      - name: "Check Cargo.lock"
+        run: |
+          cargo update -w --locked
+          git diff --exit-code Cargo.lock
+
       # Run code style on PR.
       - name: "Run rustfmt pull request"
         if: github.event_name == 'pull_request'