[isabelle-dev] SQLite-related error in testboard-afp job

Lars Hupel hupel at in.tum.de
Tue Apr 4 21:55:09 CEST 2017

> As with the old log files, any error to access the persistent data is
> turned into a warning, since there might be old files still around,
> while the logical data format has changed.
> I don't know anything about testboard and can't say what is really going
> on here.

For whatever it's worth, I cleared out all files in 'heaps', which
appears to have resolved the problem.


More information about the isabelle-dev mailing list