[Agda] [ANNOUNCE] Agda 2.6.2 release candidate 2

[Nils Anders Danielsson]

On 2021-06-06 15:11, mechvel at scico.botik.ru wrote:
> But the performance has reduced on  20%  relatively to  Agda-2.6.1 + ghc-8.8.3.

> 2.6.2.rc2 + ghc-9.0.1  spends 20% more of time.

If I understood you correctly you used two different versions of GHC.
Can you rerun the test using one version of GHC?

-- 
/NAD