build

Update scala-library to 2.13.12 #6280

Job	Run time
compiler-warnings	4m 21s
docker-tests	24m 12s
build-mdbook	8s
format-check	5m 28s
integration-tests (ubuntu-latest, oopsla19)	25m 8s
integration-tests (ubuntu-latest, arrays)	13m 24s
integration-tests (macos-latest, oopsla19)	31m 12s
scaladoc-check	4m 35s
unit-tests (ubuntu-latest)	11m 10s
unit-tests (macos-latest)	11m 42s
	2h 11m 20s

Provide feedback