Bump actions/checkout from 6.0.2 to 7.0.0
Merging as a no-op under the House rule — nobody closes a pull request; the branch inhabits its #N.
Formerly: Bump actions/checkout from 6.0.2 to 7.0.0 — main pins actions/checkout v7.0.1 (since 88302c355, 2026-08-03), so this bump was stale against main. On Logan's instruction of 2026-09-09 to merge the open PRs, session_019H9hhudCFhbsqdeAn9e6vi merged main into this branch taking main's tree exactly (92b7d056b): the files that would otherwise have survived were pre-cleanup copies under .github/ and tests/ that main moved or deleted on purpose. The branch's 33 commits that main never took stay reachable in this merge's first-parent history. The number resolves through the queue as merged with no change to main. Rule text in VAULT-CONVENTIONS.md § "House rule — nobody closes a pull request; the branch inhabits its #N".
Bumps actions/checkout from 6.0.2 to 7.0.0.
Dependabot's full description remains in this description's edit history.