provide KEVMSummarizer to sammarize rules for all the instruction rules
#10757
| Job | Run time |
|---|---|
| 41s | |
| 40s | |
| 21m 46s | |
| 11m 53s | |
| 28s | |
| 32m 7s | |
| 1h 40m 15s | |
| 6m 8s | |
| 8m 31s | |
| 45m 16s | |
| 9m 31s | |
| 33m 35s | |
| 4h 30m 51s |