Skip to content

ci: delegate lint, format and typecheck to pre-commit#49

Merged
Lujeni merged 1 commit intomainfrom
issue_48
May 9, 2026
Merged

ci: delegate lint, format and typecheck to pre-commit#49
Lujeni merged 1 commit intomainfrom
issue_48

Conversation

@Lujeni
Copy link
Copy Markdown
Member

@Lujeni Lujeni commented May 5, 2026

No description provided.

@Lujeni Lujeni force-pushed the issue_48 branch 3 times, most recently from 75a34fa to ac968dc Compare May 7, 2026 20:56
@commonism
Copy link
Copy Markdown
Contributor

The error is due to the db corruption.
c.f. #47

@Lujeni
Copy link
Copy Markdown
Member Author

Lujeni commented May 9, 2026

The error is due to the db corruption. c.f. #47

yep thanks, I wanna take the occasion to unify the way all the qa stuff is running

@Lujeni Lujeni merged commit 7883a73 into main May 9, 2026
28 checks passed
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.

2 participants