Skip to content

ci: Adjust GitHub Actions workflow "update lexicon" to make PR instead of pushing to main branch#39

Merged
shuuji3 merged 1 commit intomainfrom
automate-lexicons-updates
Jan 16, 2025
Merged

ci: Adjust GitHub Actions workflow "update lexicon" to make PR instead of pushing to main branch#39
shuuji3 merged 1 commit intomainfrom
automate-lexicons-updates

Commits

Commits on Jan 16, 2025