tests

Merge pull request #541 from Witiko/fix/lexical-analysis #3226

Job	Run time
Style check (expl3)	16s
Style check (Python)	22s
Style check (Line length)	26s
Style check (Lua)	25s
Style check (Markdown)	22s
Style check (Bash)	4s
Style check (Tabs and spaces)	3s
Type check (Python)	42s
Build Docker image (TL2023-historic, false)	13m 41s
Build Docker image (latest, false)	13m 53s
Test Docker image (TL2023-historic, false)	1h 29m 30s
Test Docker image (latest, false)	1h 28m 38s
Publish Docker image (TL2023-historic, false)	1m 37s
Publish artefacts and create a prerelease (TL2023-historic, false)	1m 49s
Automatically merge pull request	0s
Publish Docker image (latest, false)	1m 39s
Publish artefacts and create a prerelease (latest, false)	12m 31s
	3h 45m 58s

Provide feedback