Skip to content

Fix success comment detection in github-api.ts#21

Merged
neubig merged 11 commits intomainfrom fix-success-comment-detectionDec 3, 2024

Commits

Commits on Dec 3, 2024