1
0
Fork 0

Improve the pool optimizer logging (#10545)

pull/10554/head
Yanick Witschi 2022-02-19 12:47:35 +01:00 committed by GitHub
parent 32852304d0
commit 32da10dc2c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions

View File

@ -287,6 +287,8 @@ class PoolBuilder
$this->skippedLoad = array();
$this->indexCounter = 0;
$this->io->debug('Built pool.');
$pool = $this->runOptimizer($request, $pool);
Intervals::clear();
@ -690,6 +692,9 @@ class PoolBuilder
return $pool;
}
$this->io->debug('Running pool optimizer.');
$before = microtime(true);
$total = \count($pool->getPackages());
$pool = $this->poolOptimizer->optimize($request, $pool);
@ -700,6 +705,7 @@ class PoolBuilder
return $pool;
}
$this->io->write(sprintf('Pool optimizer completed in %.3f seconds', microtime(true) - $before), true, IOInterface::VERY_VERBOSE);
$this->io->write(sprintf(
'<info>Found %s package versions referenced in your dependency graph. %s (%d%%) were optimized away.</info>',
number_format($total),