Skip to content

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl #591

Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl

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