.github/run-ci.sh: Add missing debian-12 and debian-13

Author: juergbi

.github/run-ci.sh

@@ -102,7 +102,7 @@ function runServiceTest() {
 
 
 if [ -z "${test_names}" ]; then
-    for test_name in mypy debian-11 fedora-41 fedora-42 fedora-missing-deps ubuntu-22.04; do
+    for test_name in mypy debian-11 debian-12 debian-13 fedora-41 fedora-42 fedora-missing-deps ubuntu-22.04; do
 	if ! runTest "${test_name}"; then
 	    echo "Tests failed"
 	    exit 1