Update scala-library to 2.13.12 #430

Job	Run time
scripted (ubuntu-latest, 1.2.8)	11m 58s
build (ubuntu-latest)	7m 20s
scripted (ubuntu-latest, 1.3.13)	8m 5s
build (macos-latest)	6m 40s
scripted (ubuntu-latest, project)	8m 6s
build (windows-latest)	7m 5s
scripted (macos-latest, 1.2.8)	12m 19s
scripted (macos-latest, 1.3.13)	9m 33s
scripted (macos-latest, project)	10m 46s
scripted (windows-latest, 1.2.8)	14m 27s
scripted (windows-latest, 1.3.13)	14m 2s
scripted (windows-latest, project)	13m 51s
ci-passed	3s
	2h 4m 15s

Provide feedback