[ffigen] Add config ignore-source-errors
#45
Job | Run time |
---|---|
10m 34s | |
3m 5s | |
1m 6s | |
2m 9s | |
10m 44s | |
27m 38s |
ignore-source-errors
#45
Job | Run time |
---|---|
10m 34s | |
3m 5s | |
1m 6s | |
2m 9s | |
10m 44s | |
27m 38s |