Run make lint
and other simple jobs in GitHub Actions
#18
Job | Run time |
---|---|
3m 56s | |
2m 31s | |
51s | |
7m 18s |
make lint
and other simple jobs in GitHub Actions
#18
Job | Run time |
---|---|
3m 56s | |
2m 31s | |
51s | |
7m 18s |