indexer: do case-insensitive search for index, in case Headers can no… #388

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (18.x)	36s
build (20.x)	32s
build (22.x)	35s
	1m 43s