Remove inlining_default
as it's not used by anything (#344)
#947
Job | Run time |
---|---|
6s | |
1s | |
4m 20s | |
1m 52s | |
1m 46s | |
3m 45s | |
4m 16s | |
2m 34s | |
2m 5s | |
4m 12s | |
4m 16s | |
1m 54s | |
1m 54s | |
4m 41s | |
37m 42s |