Tox

chore(ci): bump prague to stable and osaka to develop #8371

Job	Run time
Typecheck python sources with mypy	29s
Lint python sources with ruff	9s
Validate changelog entries	11s
Spellcheck sources with codespell	12s
Run unit tests, ubuntu-latest, 3.12	20m 45s
Run unit tests, macos-latest, 3.11	20m 25s
Fill tests, deployed, macos-latest, 3.12	2h 54m 58s
Fill benchmark test cases, deployed, ubuntu-latest, 3.11	8m 17s
Build html documentation with mkdocs	3m 37s
Fill benchmark test cases, deployed, macos-latest, 3.12	7m 0s
Fill tests, deployed, self-hosted-ghr-xl-x64, 3.11	2h 41m 42s
Lint markdown files with markdownlint	7s
	6h 37m 52s

Provide feedback