provide KEVMSummarizer to sammarize rules for all the instruction rules
#10846
| Job | Run time |
|---|---|
| 37s | |
| 35s | |
| 7m 46s | |
| 14m 23s | |
| 24s | |
| 30m 10s | |
| 45m 44s | |
| 7m 7s | |
| 13m 27s | |
| 21m 42s | |
| 5m 15s | |
| 24m 16s | |
| 2h 51m 26s |