Skip to content
This repository was archived by the owner on Nov 1, 2022. It is now read-only.

Feature/ci #5

Merged
merged 3 commits into from
Jan 3, 2022
Merged

Feature/ci #5

merged 3 commits into from
Jan 3, 2022

Conversation

chicham
Copy link
Owner

@chicham chicham commented Jan 3, 2022

  • Use pre-commit.ci instead of github action

@chicham chicham merged commit 3a5739d into main Jan 3, 2022
@chicham chicham deleted the feature/ci branch January 3, 2022 17:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant