Skip to content

fix(ci): sync mise lock header with CI#1187

Merged
drew merged 2 commits into
mainfrom
mise-lock-fix
May 6, 2026
Merged

fix(ci): sync mise lock header with CI#1187
drew merged 2 commits into
mainfrom
mise-lock-fix

Conversation

@drew
Copy link
Copy Markdown
Collaborator

@drew drew commented May 6, 2026

Summary

Normalize mise.lock to the output generated by the pinned CI mise version so branches based on main pass the existing exact lockfile check.

Related Issue

N/A

Changes

  • Update the generated mise.lock header from mise.jdx.dev to mise.en.dev, matching mise lock from the pinned CI mise version.
  • Document that the mise-lockfile job intentionally enforces exact lockfile equality, including generated metadata, so mise version drift is visible.

Testing

  • mise run pre-commit passes
  • mise lock with network access
  • git diff --exit-code mise.lock passes after regeneration
  • git diff --check passes
  • mise run python:proto passes after the initial pre-commit failure

Note: mise run pre-commit failed because python:proto ran before uv finished recreating .venv, producing ModuleNotFoundError: No module named grpc_tools. Rerunning the failed task after dependency setup passed.

Checklist

  • Follows Conventional Commits
  • Commits are signed off (DCO)
  • Architecture docs updated (if applicable)

Signed-off-by: Drew Newberry <anewberry@nvidia.com>
@drew drew requested review from a team, derekwaynecarr, maxamillion and mrunalp as code owners May 6, 2026 05:55
johntmyers
johntmyers previously approved these changes May 6, 2026
Signed-off-by: Drew Newberry <anewberry@nvidia.com>
@drew drew changed the title fix(ci): ignore mise lock header drift fix(ci): sync mise lock header with CI May 6, 2026
@drew drew enabled auto-merge (squash) May 6, 2026 06:08
@drew drew disabled auto-merge May 6, 2026 06:09
@drew drew merged commit f17806c into main May 6, 2026
22 checks passed
@drew drew deleted the mise-lock-fix branch May 6, 2026 06:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants