Merge branch 'main' into submission #403

Job	Run time
Cache for 3.10 on ubuntu-latest	29s
Cache for 3.11 on ubuntu-latest	21s
Cache for 3.12 on ubuntu-latest	21s
Metrics & Graph Stats (3.10 on ubuntu-latest)	4m 45s
Approaches (3.10 on ubuntu-latest)	7m 0s
Partitioning Base (3.10 on ubuntu-latest)	22m 29s
Partitioning Rest (3.10 on ubuntu-latest)	4m 26s
Population (3.10 on ubuntu-latest)	1m 26s
Attribute (3.10 on ubuntu-latest)	35s
Plot (3.10 on ubuntu-latest)	2m 24s
Utils (3.10 on ubuntu-latest)	1m 54s
Metrics & Graph Stats (3.11 on ubuntu-latest)	4m 32s
Approaches (3.11 on ubuntu-latest)	6m 6s
Partitioning Base (3.11 on ubuntu-latest)	24m 27s
Partitioning Rest (3.11 on ubuntu-latest)	3m 37s
Population (3.11 on ubuntu-latest)	1m 14s
Attribute (3.11 on ubuntu-latest)	43s
Plot (3.11 on ubuntu-latest)	2m 35s
Utils (3.11 on ubuntu-latest)	2m 3s
Metrics & Graph Stats (3.12 on ubuntu-latest)	6m 41s
Approaches (3.12 on ubuntu-latest)	14m 12s
Partitioning Base (3.12 on ubuntu-latest)	35m 3s
Partitioning Rest (3.12 on ubuntu-latest)	5m 10s
Population (3.12 on ubuntu-latest)	1m 26s
Attribute (3.12 on ubuntu-latest)	52s
Plot (3.12 on ubuntu-latest)	3m 18s
Utils (3.12 on ubuntu-latest)	2m 17s
Merge Coverage	20s
	2h 40m 46s

Provide feedback