Fix No space left on device (os error 28) and improve CI speed (#215)
#268
| Job | Run time |
|---|---|
| 1m 6s | |
| 1m 6s |
No space left on device (os error 28) and improve CI speed (#215)
#268
| Job | Run time |
|---|---|
| 1m 6s | |
| 1m 6s |