Skip to content

manage devtools and tasks via mise - #181

Merged
dhth merged 2 commits into
mainfrom
manage-devtools-and-tasks-via-mise
Aug 7, 2026
Merged

manage devtools and tasks via mise#181
dhth merged 2 commits into
mainfrom
manage-devtools-and-tasks-via-mise

Conversation

@dhth

@dhth dhth commented Aug 6, 2026

Copy link
Copy Markdown
Owner

Make mise the single source of truth for development tools and project
tasks across local development, remote agents, and CI. Lock tool
versions and have each CI job install only what it needs.

Temporarily disable back-compatibility jobs until mise is available in
both compared revisions.

dhth added 2 commits August 6, 2026 19:49
Make mise the single source of truth for development tools and project
tasks across local development, remote agents, and CI. Lock tool
versions and have each CI job install only what it needs.

Temporarily disable back-compatibility jobs until mise is available in
both compared revisions.
@dhth
dhth merged commit c67e424 into main Aug 7, 2026
12 checks passed
@dhth
dhth deleted the manage-devtools-and-tasks-via-mise branch August 7, 2026 05:00
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.

1 participant