mise in repository

[Arpafaucon]

Motivated by the support story in workspaces

We have mise setup in workspaces and that's our primary way to install dev tools. However, mise makes tools available only in folders that require them.

This PR sets up mise in lading as well, based on SMP setup.

Notable changes

• Had to claude-write a ci/check_mise_checksums.py (used python here to properly edit the TOML file)
• Had to update protoc to a more recent version that had checksums for all 3 platforms

TODO:

• check on a ARM platform that checksums actually match ( because of Lockfile platforms fall back to the wrong architecture when missing jdx/mise#7628)

[Arpafaucon]

• [CI] Use mise action in CI #1836
• mise in repository #1833 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0b2e190846

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".