Skip to content

Comments

chore: update GitHub actions#35

Merged
b00f merged 8 commits intomainfrom
update-ruff-action
Feb 17, 2025
Merged

chore: update GitHub actions#35
b00f merged 8 commits intomainfrom
update-ruff-action

Conversation

@b00f
Copy link
Collaborator

@b00f b00f commented Feb 17, 2025

This PR update GitHub Action to use maintained ruff action here

@b00f b00f force-pushed the update-ruff-action branch from 32dcaa4 to 8400225 Compare February 17, 2025 13:31
@b00f b00f merged commit a81f1a0 into main Feb 17, 2025
3 checks passed
@b00f b00f deleted the update-ruff-action branch February 17, 2025 13:39
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