dedc6768

By: David Nies <david.nies@posteo.de>

Change Python version to 3.13 for the `gi` test

Prior to this change, we used Python 3.14. This caused the whole pytho distribution to be rebuilt, as
well as the `graph-tool` dependency. This takes very long, consumes many CPUs and RAM and ultimately
makes the CI fail.

This change uses python 3.13 which is cached.

Suite timing

Time to Start Worker time Duration Time to finish
Config 0s 3s 3s 3s
Eval 3s 25s 25s 28s
Build 7s 4m57s 56s 1m03s
Test - - - -
Deploy - - - -
Suite 0s 5m26s 1m03s 1m03s

Timeline

0s10s20s30s40s50s1m