[ fix ] Data and Type Constructor tags for :di #927
Job | Run time |
---|---|
4s | |
5m 21s | |
5m 21s | |
5m 21s | |
5m 13s | |
5m 26s | |
5m 19s | |
5m 23s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
37m 39s |
Job | Run time |
---|---|
4s | |
5m 21s | |
5m 21s | |
5m 21s | |
5m 13s | |
5m 26s | |
5m 19s | |
5m 23s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
37m 39s |