[ffigen] Add config ignore-source-errors
(#810)
#48
Job | Run time |
---|---|
11m 35s | |
1m 45s | |
10m 52s | |
3m 22s | |
1m 1s | |
28m 35s |
ignore-source-errors
(#810)
#48
Job | Run time |
---|---|
11m 35s | |
1m 45s | |
10m 52s | |
3m 22s | |
1m 1s | |
28m 35s |