Run make lint
and other simple jobs in GitHub Actions
#16
Job | Run time |
---|---|
48s | |
2m 8s | |
3m 31s | |
6m 27s |
make lint
and other simple jobs in GitHub Actions
#16
Job | Run time |
---|---|
48s | |
2m 8s | |
3m 31s | |
6m 27s |