chore: use GitHub actions to sanitize themes & plugins list #942
Triggered via pull request
April 10, 2024 13:03
stevenjoezhang
opened
#2164
Status
Success
Total duration
1m 0s
Artifacts
–