I'm seeing some spurious (?) errors in "isabelle build":
17:15:13 Finished List-Index (0:00:08 elapsed time, 0:00:11 cpu time,
factor 1.37)
17:15:13 *** I/O error:
/tmp/isabelle-jenkins/process478460358635901180/export2631876 (No such
file or directory)
I don't understand where these are coming from. One instance can be
found here:
https://ci.isabelle.systems/jenkins/job/afp-repo-afp/1592/consoleFull
Of note are these warnings:
15:37:27 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Fishburn_Impossibility.db"
15:37:27 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/FocusStreamsCaseStudies.db"
15:37:27 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/HLDE.db"
15:37:27 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/IEEE_Floating_Point.db"
15:37:27 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Program-Conflict-Analysis.db"
15:37:28 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Residuated_Lattices.db"
15:37:28 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Rewriting_Z.db"
15:37:28 ### Ignoring bad database:
"/media/data/jenkins/workspace/afp-repo-afp/heaps/polyml-5.7.1_x86_64-linux/log/Shivers-CFA.db"
It also happened with the previous build on the same machine:
https://ci.isabelle.systems/jenkins/job/afp-repo-afp/1588/consoleFull
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
