Migrate make test and make reprotest to GitHub Actions
#5
| Job | Run time |
|---|---|
| 2m 13s | |
| 2m 13s |
make test and make reprotest to GitHub Actions
#5
| Job | Run time |
|---|---|
| 2m 13s | |
| 2m 13s |