Skip to content

Conversation

@cdrini
Copy link
Collaborator

@cdrini cdrini commented May 29, 2025

This PR closes #426

@cdrini cdrini force-pushed the fix/ruff-upgrade branch from 0aeef2c to 388e829 Compare May 29, 2025 22:05
@cdrini cdrini changed the title fix(ci): upgrade ruff in workflow to support --output-format=github Remove ruff job from CI; not working, and runs in pre-commit May 29, 2025
@cdrini cdrini marked this pull request as ready for review May 29, 2025 22:06
@cdrini cdrini merged commit 1ab2acc into master May 29, 2025
3 checks passed
@cdrini cdrini deleted the fix/ruff-upgrade branch May 29, 2025 22:07
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.

GitHub CI failing at ruff command

2 participants