Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: Use mise to manage tools and tasks #542

Merged
merged 1 commit into from
Jan 24, 2025
Merged

ci: Use mise to manage tools and tasks #542

merged 1 commit into from
Jan 24, 2025

Conversation

abhinav
Copy link
Owner

@abhinav abhinav commented Jan 12, 2025

Trying out using mise to manage dev dependencies
as well as dev-time tasks like running tests, etc.

Required a small change to the mise bootstrap script based on its location.
The script adds itself to the $PATH if used.

@abhinav
Copy link
Owner Author

abhinav commented Jan 12, 2025

This change is part of the following stack:

Change managed by git-spice.

@abhinav abhinav added the skip changelog PRs that don't need a changelog. label Jan 12, 2025
@abhinav abhinav force-pushed the experiments/mise branch 8 times, most recently from 0f51052 to 2e7d370 Compare January 12, 2025 05:48
@abhinav abhinav changed the title ci: Use mise to manage tools and tasks [WIP] ci: Use mise to manage tools and tasks Jan 12, 2025
@abhinav abhinav changed the title [WIP] ci: Use mise to manage tools and tasks WIP: ci: Use mise to manage tools and tasks Jan 12, 2025
@abhinav abhinav force-pushed the experiments/mise branch 6 times, most recently from 838ffd0 to c3a1624 Compare January 16, 2025 04:14
@abhinav abhinav changed the title WIP: ci: Use mise to manage tools and tasks ci: Use mise to manage tools and tasks Jan 18, 2025
@abhinav abhinav force-pushed the experiments/mise branch 3 times, most recently from 5ca0dfd to 91a2f4a Compare January 21, 2025 01:07
@abhinav abhinav marked this pull request as ready for review January 24, 2025 02:46
@abhinav
Copy link
Owner Author

abhinav commented Jan 24, 2025

Been experimenting with this, and it works well enough.
Merging this in until/unless there are issues down the line.

@abhinav abhinav merged commit b3a2f5c into main Jan 24, 2025
12 checks passed
@abhinav abhinav deleted the experiments/mise branch January 24, 2025 02:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip changelog PRs that don't need a changelog.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant