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

[Manuel Eberl]

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 missing database (no such
table: isabelle_session_info)
17:32:12 Build step 'Execute shell' marked build as failure

Does anybody know anything about this?

Cheers,

Manuel


[1]: https://ci.isabelle.systems/jenkins/job/testboard-afp/336/consoleFull