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

[Lars Hupel]

> 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.

Cheers
Lars