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