diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3146e7c4e9a..94cfb044f1b 100644
--- a/.github/workflows/main.yml
+++ b/.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:
diff --git a/ci/validate-man.sh b/ci/validate-man.sh
index 92df4978143..f636b46059c 100755
--- a/ci/validate-man.sh
+++ b/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"