Revert "Revert "Revert "outsource linting to ziglint""" #1180
Job | Run time |
---|---|
6m 27s | |
9m 2s | |
7m 57s | |
7m 13s | |
8m 15s | |
10m 34s | |
10m 27s | |
10m 2s | |
10m 23s | |
9m 25s | |
10m 57s | |
11m 29s | |
1h 52m 11s |
Job | Run time |
---|---|
6m 27s | |
9m 2s | |
7m 57s | |
7m 13s | |
8m 15s | |
10m 34s | |
10m 27s | |
10m 2s | |
10m 23s | |
9m 25s | |
10m 57s | |
11m 29s | |
1h 52m 11s |