Add CI checks for copy-packetline

For the real purpose of this new check, which is to verify that
`just copy-packetline` has been run when needed, to ensure that
gix-packetline-blocking/src is not out of date, it should only be
necessary to run this check on one platform.

So this should probably be changed to `runs-on: ubuntu-latest`
instead of a matrix strategy soon. I'm running it on three platforms
initially to check the script (though some functionality of the
script is not exercised).

I've also tested the script locally on Ubuntu 22.04.4 LTS, and on
Windows 10 (in Git Bash).

Author: EliahKagan

.github/workflows/ci.yml

@@ -176,7 +176,7 @@ jobs:
           # Let's not fail CI for this, it will fail locally often enough, and a crate a little bigger
           # than allows is no problem either if it comes to that.
           just check-size || true
-  
+
   cargo-deny:
     runs-on: ubuntu-latest
     strategy:
@@ -193,6 +193,7 @@ jobs:
       - uses: EmbarkStudios/cargo-deny-action@v1
         with:
           command: check ${{ matrix.checks }}
+
   wasm:
     name: WebAssembly
     runs-on: ubuntu-latest
@@ -213,3 +214,34 @@ jobs:
         name: crates with 'wasm' feature
       - run: cd gix-pack && cargo build --all-features --target ${{ matrix.target }}
         name: gix-pack with all features (including wasm)
+
+  check-packetline:
+    strategy:
+      matrix:
+        os:
+          - ubuntu-latest
+          - macos-latest
+          - windows-latest
+    continue-on-error: true
+    runs-on: ${{ matrix.os }}
+    defaults:
+      run:
+        shell: bash
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@v1
+        with:
+          toolchain: stable
+      - uses: extractions/setup-just@v2
+      - name: Check that working tree is initially clean
+        run: |
+          git status
+          set -x
+          git status | grep -qF 'nothing to commit, working tree clean'
+      - name: Regenerate gix-packetline-blocking/src
+        run: just copy-packetline
+      - name: Check that gix-packetline-blocking/src was already up to date
+        run: |
+          git status
+          set -x
+          git status | grep -qF 'nothing to commit, working tree clean'