Re: [isabelle-dev] SQLite-related error in testboard-afp job
> 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 ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[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 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 ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev