Auto merge of #11994 - weihanglo:lockfile, r=epage

ci: check if Cargo.lock is up-to-date

.github/workflows/main.yml

@@ -37,6 +37,14 @@ jobs:
       # TODO: check every members
       - run: cargo clippy -p cargo --lib --no-deps -- -D warnings
 
+  # Ensure Cargo.lock is up-to-date
+  lockfile:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - run: rustup update stable && rustup default stable
+      - run: cargo update -p cargo --locked
+
   test:
     runs-on: ${{ matrix.os }}
     env:

ci/validate-man.sh

@@ -5,7 +5,7 @@ set -e
 
 cd src/doc
 
-changes=$(git status --porcelain)
+changes=$(git status --porcelain -- .)
 if [ -n "$changes" ]
 then
     echo "git directory must be clean before running this script."
@@ -14,10 +14,10 @@ fi
 
 ./build-man.sh
 
-changes=$(git status --porcelain)
+changes=$(git status --porcelain -- .)
 if [ -n "$changes" ]
 then
-    echo "Detected changes in man pages:"
+    echo "Detected changes of man pages in src/doc:"
     echo "$changes"
     echo
     echo "Please run './build-man.sh' in the src/doc directory to rebuild the"