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