Update scala-library to 2.12.20 #241

	name: CI

	on:
	pull_request:
	push:
	branches: [ 'main' ]

	jobs:
	lint:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	steps:
	- name: Checkout current branch
	uses: actions/checkout@v4.1.7
	with:
	fetch-depth: 0
	- name: Set up Java
	uses: actions/setup-java@v4.2.2
	with:
	distribution: temurin
	java-version: 17
	check-latest: true
	- name: Cache Scala dependencies
	uses: coursier/cache-action@v6
	- name: Check code formatting
	run: sbt check

	test:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	strategy:
	fail-fast: false
	matrix:
	java: [ "8", "11", "17", "21" ]
	scala: [ "2.12.20", "2.13.14", "3.5.0" ]
	steps:
	- name: Checkout current branch
	uses: actions/checkout@v4.1.7
	with:
	fetch-depth: 0
	- name: Set up Java
	uses: actions/setup-java@v4.2.2
	with:
	distribution: temurin
	java-version: 17
	check-latest: true
	- name: Cache Scala dependencies
	uses: coursier/cache-action@v6
	- name: Run tests
	run: sbt ++${{ matrix.scala }} test

	publish-local:
	runs-on: ubuntu-22.04
	timeout-minutes: 10
	steps:
	- name: Checkout current branch
	uses: actions/checkout@v4.1.7
	- name: Setup Java
	uses: actions/setup-java@v4.2.2
	with:
	distribution: temurin
	java-version: 17
	check-latest: true
	- name: Cache scala dependencies
	uses: coursier/cache-action@v6
	- name: Check that building packages works
	run: sbt +publishLocal

	ci:
	runs-on: ubuntu-latest
	needs: [ lint, test, publish-local ]
	steps:
	- name: Aggregate outcomes
	run: echo "build succeeded"

Provide feedback