make lint ci faster by not building rtoml (#89) #351
| Job | Run time |
|---|---|
| 41s | |
| 18s | |
| 46s | |
| 2m 14s | |
| 53s | |
| 2m 31s | |
| 43s | |
| 2m 51s | |
| 50s | |
| 2m 26s | |
| 2m 30s | |
| 2m 50s | |
| 1m 55s | |
| 2m 7s | |
| 1m 29s | |
| 1m 43s | |
| 2m 26s | |
| 3m 47s | |
| 2m 20s | |
| 1s | |
| 10s | |
| 0s | |
| 35m 31s |
| Job | Run time |
|---|---|
| 41s | |
| 18s | |
| 46s | |
| 2m 14s | |
| 53s | |
| 2m 31s | |
| 43s | |
| 2m 51s | |
| 50s | |
| 2m 26s | |
| 2m 30s | |
| 2m 50s | |
| 1m 55s | |
| 2m 7s | |
| 1m 29s | |
| 1m 43s | |
| 2m 26s | |
| 3m 47s | |
| 2m 20s | |
| 1s | |
| 10s | |
| 0s | |
| 35m 31s |