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