provide KEVMSummarizer to sammarize rules for all the instruction rules
#10656
| Job | Run time |
|---|---|
| 39s | |
| 37s | |
| 22s | |
| 13m 14s | |
| 51s | |
| 27m 42s | |
| 55m 11s | |
| 5m 31s | |
| 14m 8s | |
| 45m 15s | |
| 9m 33s | |
| 22m 18s | |
| 3h 15m 21s |