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.

Sign up for GitHub

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

Jump to bottom

Update pixi to 0.34 and add new script to check pixi / rust versions #7893

Merged
merged 4 commits into from
Oct 24, 2024
Merged

Update pixi to 0.34 and add new script to check pixi / rust versions #7893

merged 4 commits into from
Oct 24, 2024

Conversation

jleibs
Copy link
Member

@jleibs jleibs commented Oct 24, 2024 •
edited by github-actions bot
Loading

What

  • These things are managed outside of pixi itself. It's nice to have an easy way to sanity check them.

Checklist

  • I have read and agree to Contributor Guide and the Code of Conduct
  • I've included a screenshot or gif (if applicable)
  • I have tested the web demo (if applicable):
  • The PR title and labels are set such as to maximize their usefulness for the next release's CHANGELOG
  • If applicable, add a new check to the release checklist!
  • If have noted any breaking changes to the log API in CHANGELOG.md and the migration guide

To run all checks from main, comment on the PR with @rerun-bot full-check.

@jleibs jleibs marked this pull request as ready for review October 24, 2024 12:40
@jleibs jleibs added 🧑‍💻 dev experience developer experience (excluding CI) exclude from changelog PRs with this won't show up in CHANGELOG.md labels Oct 24, 2024
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 24, 2024 •
edited
Loading

Deployed docs

Commit Link
66bafe7 https://landing-6o4fa1m6b-rerun.vercel.app/docs

@jleibs jleibs changed the title Add a new script to check pixi / rust versions Update pixi to 0.34 and add new script to check pixi / rust versions Oct 24, 2024
abey79
abey79 approved these changes Oct 24, 2024
View reviewed changes
Copy link
Member

@abey79 abey79 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice!

@Wumpf
Copy link
Member

Wumpf commented Oct 24, 2024

really nice version check script there!

@Wumpf Wumpf mentioned this pull request Oct 24, 2024
Closed
6 tasks
@jleibs jleibs force-pushed the jleibs/check_pixi_version branch from bcd9e8d to e02edab Compare October 24, 2024 14:57
@jleibs jleibs merged commit 2542255 into main Oct 24, 2024
40 of 41 checks passed
@jleibs jleibs deleted the jleibs/check_pixi_version branch October 24, 2024 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@abey79 abey79 abey79 approved these changes

Assignees
No one assigned
Labels
🧑‍💻 dev experience developer experience (excluding CI) exclude from changelog PRs with this won't show up in CHANGELOG.md
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@jleibs @Wumpf @abey79