3 commits

Author	SHA1	Message	Date
Mikhail Goncharov	23eb634e9c	increase probability of gc on win	2023-01-09 10:56:59 +01:00
Mikhail Goncharov	36d951c46e	Trigger git gc on windows only for ~5% of builds. ... It takes almost 5 minutes on windows and we don't need to run it that often. Fixes #375	2021-12-23 10:47:18 +01:00
Mikhail Goncharov	3b7d720763	add post checkout to run git gc	2021-09-30 12:46:36 +02:00