improvement: add has_dep?/2
#772
Job | Run time |
---|---|
0s | |
22s | |
58s | |
41s | |
24s | |
7s | |
0s | |
1m 13s | |
2m 37s | |
8s | |
1m 18s | |
4s | |
12s | |
5s | |
1m 29s | |
40s | |
0s | |
10m 18s |
has_dep?/2
#772
Job | Run time |
---|---|
0s | |
22s | |
58s | |
41s | |
24s | |
7s | |
0s | |
1m 13s | |
2m 37s | |
8s | |
1m 18s | |
4s | |
12s | |
5s | |
1m 29s | |
40s | |
0s | |
10m 18s |