Update actions/checkout action to v4

.github/workflows/build-and-test.yml

@@ -25,7 +25,7 @@ jobs:
           rustup toolchain install nightly --component miri
           rustup override set nightly
           cargo miri setup
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac # v4
     - name: Cache
       uses: actions/cache@v3
       with:

.github/workflows/publish-agb.yml

@@ -13,7 +13,7 @@ jobs:
       - name: Install build tools
         run: sudo apt-get update && sudo apt-get install build-essential zip -y
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac # v4
         with:
           fetch-depth: 0
       - name: Login to crates.io

.github/workflows/update-lockfiles.yml

@@ -16,7 +16,7 @@ jobs:
       - name: Set CARGO_TARGET_DIR
         run: echo "CARGO_TARGET_DIR=$HOME/target" >> $GITHUB_ENV
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@3df4ab11eba7bda6032a0b82a6bb43b11571feac # v4
       - uses: extractions/setup-just@v1
       - name: Update lock files
         run: just update-lockfiles --commit