Small CI changes #40

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

Merged

peterfpeterson merged 3 commits into main from ruff_rename

Jun 12, 2025

Member

peterfpeterson commented Jun 12, 2025

ruff pre-commit hook changed names to ruff-check
have dependabot update the pixi version and move pixi version

peterfpeterson added 3 commits

June 12, 2025 13:37


          hook changed name

7bb1027


          Update pixi version

c2d7bf5


          Update pixi version

508690a

peterfpeterson merged commit d9a360d into main

2 checks passed

peterfpeterson deleted the ruff_rename branch

June 12, 2025 17:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet