[WIP] Migrate make test and make reprotest to GitHub Actions
#87
| Job | Run time |
|---|---|
| 36s | |
| 36s |
make test and make reprotest to GitHub Actions
#87
| Job | Run time |
|---|---|
| 36s | |
| 36s |