Build: Fix warning for GitHub's own internal CI logic

* It's silly that first party actions like git-checkout
  are not long term stable, and instead are versioned with
  rather short support spans.

* It's silly that simple actions like git-checkout involve
  Docker, Node.js, and 80 npm packages.

* It's silly that end-users face deprecation warnings for
  GitHub's own actions internally relying on deprecated Node.js
  base images.

Ref jquery/typesense-minibar@250e633

Author: Krinkle

.github/workflows/typesense.yaml

@@ -13,7 +13,7 @@ jobs:
     if: ${{ github.repository_owner == 'jquery' }} # skip on forks
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Docsearch Scraper
         shell: bash
         run: |