make it easier to disable dynamic_linking
feature
#41
Job | Run time |
---|---|
8s | |
2m 41s | |
2m 49s |
dynamic_linking
feature
#41
Job | Run time |
---|---|
8s | |
2m 41s | |
2m 49s |