Run make lint and other simple jobs in GitHub Actions
#12
| Job | Run time |
|---|---|
| 3m 28s | |
| 3m 28s |
make lint and other simple jobs in GitHub Actions
#12
| Job | Run time |
|---|---|
| 3m 28s | |
| 3m 28s |