checker,cgen: fix duplicates in generic sumtype #3342
Job | Run time |
---|---|
38m 54s | |
38m 54s | |
15m 37s | |
15m 37s | |
12m 21s | |
12m 21s | |
9m 41s | |
9m 41s | |
45m 54s | |
45m 54s | |
4h 31m 6s | |
47m 45s | |
35m 50s | |
35m 50s | |
31m 57s | |
31m 57s | |
11h 39m 19s |
Job | Run time |
---|---|
38m 54s | |
38m 54s | |
15m 37s | |
15m 37s | |
12m 21s | |
12m 21s | |
9m 41s | |
9m 41s | |
45m 54s | |
45m 54s | |
4h 31m 6s | |
47m 45s | |
35m 50s | |
35m 50s | |
31m 57s | |
31m 57s | |
11h 39m 19s |