chore: fix duplicated git index due to file casing #149

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
paths-filter	5s
ssj-build	0s
ssj-tests-unit	0s
ssj-ef-tests	0s
ssj-resources	0s
	5s