enhancementhelp wanted
Repository metrics
- Stars
- (11 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
The original repo used travis-ci. We could probably switch to GitHub Actions for this one.
The original repo used travis-ci. We could probably switch to GitHub Actions for this one.