Skip to content

ci: Use reviewdog for external PRs#97

Merged
krlmlr merged 1 commit intomainfrom
actions-sync-update
Sep 5, 2025
Merged

ci: Use reviewdog for external PRs#97
krlmlr merged 1 commit intomainfrom
actions-sync-update

Conversation

@krlmlr
Copy link
Member

@krlmlr krlmlr commented Sep 5, 2025

No description provided.

@krlmlr krlmlr enabled auto-merge (squash) September 5, 2025 16:55
@krlmlr krlmlr merged commit 5e96902 into main Sep 5, 2025
5 checks passed
@krlmlr krlmlr deleted the actions-sync-update branch September 5, 2025 16:58
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