increase probability of gc on win
This commit is contained in:
parent
76d6f29154
commit
23eb634e9c
1 changed files with 1 additions and 1 deletions
|
@ -13,7 +13,7 @@
|
||||||
# limitations under the License.
|
# limitations under the License.
|
||||||
|
|
||||||
# As git gc takes non-trivial time on windows, run it only 5% of the time.
|
# As git gc takes non-trivial time on windows, run it only 5% of the time.
|
||||||
if (( Get-Random -Maximum 100 ) -lt 5 ) {
|
if (( Get-Random -Maximum 100 ) -lt 10 ) {
|
||||||
echo "running git gc"
|
echo "running git gc"
|
||||||
pwd
|
pwd
|
||||||
git gc
|
git gc
|
||||||
|
|
Loading…
Reference in a new issue