Skip to content
Started 6 yr 6 mo ago
Took 1 hr 40 min on built-in
Failed

#1369 (Dec 29, 2017, 11:19:08 PM)

Changes
  1. no check for bibtex entries from other sessions; (detail / hgweb)
  2. clarified signature; (detail / hgweb)
  3. more accurate message patterns; (detail / hgweb)
  4. prefer formal citations;
    more accurate bibtex entries; (detail / hgweb)
  5. proper bibtex entries; (detail / hgweb)
  6. formal check of @{cite} bibtex entries -- only in batch-mode session builds; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 4 sec waiting;
  • 1 hr 40 min build duration;
  • 1 hr 45 min total from scheduled to completion.
Revision: 48ca44fdc038a571f89c0a6756d49a832f0b5e67
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1369( 59 min )Console Output
isabelle-repo-afpbuild #1369( 1 hr 39 min )Console Output