chore(deps): update actions/checkout action to v4

[renovate]

This PR contains the following updates:

Package	Type	Update	New value	References	Sourcegraph
actions/checkout	action	major	v4	source

Test plan: CI should pass with updated dependencies. No review required: this is an automated dependency update PR.

---

Release Notes

actions/checkout (actions/checkout)

v4

Compare Source

• Check out other refs/* by commit if provided, fall back to ref by @​orhantoy in https://github.com/actions/checkout/pull/1924

---

Configuration

📅 Schedule: Branch creation - "on the 1st through 7th day of the month" in timezone America/Los_Angeles, Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[netlify]

✅ Deploy Preview for sourcegraph ready!

Name	Link
🔨 Latest commit	da0048f
🔍 Latest deploy log	https://app.netlify.com/sites/sourcegraph/deploys/679f4a768fe2d40008b06e5d
😎 Deploy Preview	https://deploy-preview-7560--sourcegraph.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.