Update scala-library to 2.13.12 #6297

Job	Run time
compiler-warnings	3m 24s
docker-tests	30m 48s
format-check	6m 44s
build-mdbook	9s
integration-tests (ubuntu-latest, oopsla19)	25m 23s
scaladoc-check	4m 15s
integration-tests (ubuntu-latest, arrays)	12m 25s
unit-tests (ubuntu-latest)	15m 43s
integration-tests (macos-latest, oopsla19)	35m 49s
unit-tests (macos-latest)	20m 22s
	2h 35m 2s

Provide feedback