tests

Update `CHANGES.md` #3250

Job	Run time
Style check (Line length)	23s
Style check (Python)	24s
Style check (expl3)	16s
Style check (Lua)	28s
Style check (Markdown)	23s
Style check (Bash)	3s
Style check (Tabs and spaces)	3s
Type check (Python)	39s
Build Docker image (TL2023-historic, false)	2m 35s
Build Docker image (latest, false)	2m 30s
Build Docker image (latest-minimal, false)	2m 6s
Test Docker image	0s
Publish Docker image (TL2023-historic, false)	6s
Publish Docker image (latest, false)	6s
Publish artefacts and create a prerelease	14s
Publish Docker image (latest-minimal, false)	21s
Automatically merge pull request	0s
	10m 37s

Provide feedback