Add --timeout & --do_not_fail_on_intersections flag

[nihalzp]

No description provided.

[github-actions]

🚦 Performance Comparison ^{(α=0.05, ±3%)}

🗺️ Total maps

34

❌ Failed

0

🚀 Speed-ups

10

🐢 Slow-downs

0

⚖️ No change

24

---

❌ Failures

None 😎

🚀 Speed-ups (10)

map	main	pr	Δ %	p
algeria_​by_​wilaya_​since_​2019/​algeria_​population_​by_​wilaya_​2022.csv	0.684±0.042	0.626±0.007	-8.4	0.021
belgium_​by_​region_​simplified_​since_​1995/​belgium_​population_​by_​region_​simplified_​2022.csv	0.067±0.002	0.064±0.002	-4.8	0.000
china_​by_​province_​with_​chinese_​taipei_​since_​1998/​china_​population_​by_​province_​2020.csv	0.643±0.007	0.621±0.005	-3.4	0.000
croatia_​by_​county_​since_​1992/​croatia_​covid_​cases_​by_​county_​2022.csv	0.242±0.002	0.233±0.001	-3.6	0.000
croatia_​by_​county_​since_​1992/​croatia_​population_​by_​county_​2021.csv	0.165±0.002	0.159±0.002	-3.4	0.000
egypt_​by_​governorate_​since_​2009/​egypt_​population_​by_​governate_​2017.csv	0.678±0.008	0.656±0.002	-3.2	0.001
indonesia_​by_​province_​since_​2022/​indonesia_​population_​by_​province_​2024.csv	0.387±0.003	0.375±0.002	-3.2	0.000
metropolitan_​france_​by_​departement_​since_​2015/​metropolitan_​france_​population_​by_​departement_​2022.csv	1.012±0.002	0.981±0.006	-3.0	0.000
switzerland_​by_​canton_​since_​1999/​switzerland_​population_​by_​canton_​2016.csv	0.300±0.002	0.290±0.004	-3.6	0.001
world_​by_​region_​wo_​antarctica/​world_​population_​by_​region_​wo_​antarctica.csv	9.333±0.487	8.780±0.114	-5.9	0.038

🐢 Slow-downs (0)

none

⚖️ No significant change (24)

map	main	pr	Δ %	p
australia_​by_​state_​and_​territory_​since_​1942/​australia_​population_​by_​state_​and_​territory_​2021.csv	0.662±0.003	0.643±0.003	-2.9	0.000
austria_​by_​state_​since_​1945/​austria_​population_​by_​state_​2020.csv	0.216±0.003	0.210±0.003	-2.9	0.000
bahamas_​by_​district_​since_​1999/​bahamas_​population_​by_​district_​2010.csv	3.272±0.029	3.196±0.018	-2.3	0.000
belgium_​by_​region_​since_​1995/​belgium_​population_​by_​region_​2022.csv	0.090±0.002	0.087±0.002	-2.9	0.005
brazil_​by_​state_​since_​1988/​brazil_​population_​by_​state_​2021.csv	0.596±0.003	0.583±0.001	-2.2	0.000
conterminous_​usa_​by_​state_​since_​1959/​conterminous_​usa_​population_​by_​state_​2020.csv	0.464±0.002	0.450±0.006	-3.0	0.002
contiguous_​usa_​by_​county_​since_​2001/​usa_​population_​by_​county_​2021.csv	20.456±0.912	19.623±0.632	-4.1	0.099
england_​by_​region_​since_​2023/​england_​population_​by_​region_​2022.csv	1.221±0.006	1.191±0.009	-2.5	0.000
eu_​by_​country_​until_​2020/​eu_​population_​by_​country_​2021.csv	1.620±0.010	1.580±0.016	-2.5	0.001
eu_​by_​region_​until_​2020/​eu_​population_​by_​region_​2020.csv	5.096±0.034	5.078±0.401	-0.4	0.916
france_​by_​metropolitan_​region_​since_​2016/​france_​population_​by_​metropolitan_​region_​2008.csv	0.245±0.012	0.235±0.002	-4.0	0.082
germany_​by_​state_​since_​1990/​germany_​population_​by_​state_​2011.csv	0.136±0.003	0.133±0.003	-2.4	0.011
japan_​by_​prefecture_​since_​1888/​japan_​population_​by_​prefecture_​2020.csv	0.655±0.005	0.639±0.015	-2.5	0.047
malaysia_​by_​state_​since_​2001/​malaysia_​population_​by_​state_​2020.csv	0.367±0.002	0.359±0.002	-2.1	0.000
malaysia_​by_​state_​since_​2001/​malaysia_​population_​by_​state_​2020_​insetted.csv	0.334±0.003	0.324±0.004	-2.8	0.001
russia_​by_​federal_​subject_​since_​2008/​russia_​population_​by_​federal_​subject_​2010.csv	1.358±0.002	1.325±0.007	-2.4	0.000
singapore_​by_​planning_​area_​since_​1999/​singapore_​population_​by_​planning_​area_​2015.csv	2.823±0.003	2.768±0.010	-2.0	0.000
switzerland_​by_​canton_​since_​1999/​switzerland_​gdp_​in_​billion_​chf_​by_​canton_​2019.csv	0.343±0.002	0.337±0.010	-1.7	0.212
tunisia_​by_​governorate_​since_​1994/​tunisia_​population_​by_​governate_​2014.csv	0.322±0.004	0.315±0.004	-2.1	0.014
usa_​by_​state_​since_​1959/​usa_​population_​by_​state_​2020.csv	0.705±0.003	0.686±0.006	-2.6	0.000
usa_​by_​state_​since_​1959/​usa_​population_​by_​state_​2020_​insetted.csv	0.549±0.001	0.536±0.004	-2.4	0.000
vietnam_​by_​province_​since_​1996/​vietnam_​population_​by_​province_​2019.csv	0.652±0.002	0.636±0.008	-2.5	0.004
world_​by_​country_​since_​2022/​world_​population_​by_​country_​2010.csv	5.846±0.218	5.716±0.095	-2.2	0.224
world_​by_​region/​world_​population_​by_​region.csv	5.244±0.020	6.199±0.983	+18.2	0.063