[Agda] re-checking
Sergei Meshveliani
mechvel at botik.ru
Tue Oct 4 18:04:42 CEST 2016
On Tue, 2016-10-04 at 11:18 +0200, Nils Anders Danielsson wrote:
> 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.
>
I cannot reproduce, sorry.
Probably, I have mistaken.
------
Sergei
More information about the Agda
mailing list