Test PR

provide `KEVMSummarizer` to sammarize rules for all the instruction rules #10870

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	18s
Conformance Tests	0s
Nix	0s
Profiling	0s
Unit Tests	0s
Proofs: ${{ matrix.name }}	0s
Test Summarize	0s
	18s