Split pull request and push workflows

myjian / mai-tools

mai-tools is a collection of useful tools for maimai and maimai DX.

https://myjian.github.io/mai-tools

GNU General Public License v3.0

39 stars 11 forks source link

Closed myjian closed 10 months ago