chore: release v0.13.1 #40

Job	Run time
Calculate list of debian distros and docker image tags	6s
build_and_test_frontend / lint	54s
build_and_test_frontend / format	48s
build_and_test_frontend / build-web	1m 26s
build_and_test_frontend / build-app	6m 33s
build_and_test_backend / pylint	29s
build_and_test_frontend / test	50s
build_and_test_backend / format	20s
build_and_test_backend / mypy	27s
build_and_test_backend / test (3.10, ubuntu-latest)	1m 33s
build_and_test_backend / test (3.11, ubuntu-latest)	1m 31s
Build and publish ready made docker containers	6m 30s
Build .deb packages (debian:bookworm)	3m 54s
Deploy demo application	20s
Attach assets to release	0s
	25m 41s

Provide feedback