Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl #591
Job | Run time |
---|---|
1m 4s | |
1m 12s | |
1m 10s | |
1m 11s | |
47s | |
51s | |
50s | |
50s | |
48s | |
52s | |
50s | |
49s | |
52s | |
1m 9s | |
1m 12s | |
1m 10s | |
1m 14s | |
53s | |
53s | |
52s | |
54s | |
1m 5s | |
57s | |
53s | |
53s | |
54s | |
25m 5s |