Set `%option 8bit` in `KOREScanner.l` #2292

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formatting Check	53s
Clang Tidy check	2m 28s
Scala formatting check	36s
Shell check	5s
	4m 2s