[Agda] re-checking

Nils Anders Danielsson nad at cse.gu.se
Tue Oct 4 11:18:15 CEST 2016


On 2016-10-03 21:09, Sergei Meshveliani wrote:
> And most of the files that were earlier reported as `Skipping' are now
> reported as `Checking'.
> And have not touched M1, M2, M3.
> How can this happen?

This could be a bug. Please report this on the bug tracker, along with a
self-contained, reproducible test case.

-- 
/NAD


More information about the Agda mailing list