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

There was an odd error in a testboard-afp job [1] before: 17:26:32 ### Ignoring bad database: "$ISABELLE_HOME/heaps/$ML_IDENTIFIER/log/HOL-Library.db" 17:26:32 ### [SQLITE_ERROR] SQL error or missing database (no such table: isabelle_session_info) […] 17:32:12 *** [SQLITE_ERROR] SQL error or missi

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

On 03/04/17 21:54, Manuel Eberl wrote: > There was an odd error in a testboard-afp job [1] before: > > 17:26:32 ### Ignoring bad database: > "$ISABELLE_HOME/heaps/$ML_IDENTIFIER/log/HOL-Library.db" > 17:26:32 ### [SQLITE_ERROR] SQL error or missing database (no such > table: isabelle_session_info)