Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 1 mo ago
Took 17 hr on workerlrz5
Failed

#370 (Mar 15, 2017, 1:33:18 AM)

Build Artifacts
AODV.gz799.16 KiB view
AWN.gz47.90 KiB view
ConcurrentGC.gz497.21 KiB view
ConcurrentIMP.gz9.59 KiB view
Flyspeck-Tame.gz1.20 MiB view
HOL-Analysis.gz795.95 KiB view
HOL-Library.gz358.63 KiB view
HOL-Word.gz30.58 KiB view
HOL.gz481.41 KiB view
IP_Addresses.gz91.50 KiB view
Iptables_Semantics.gz322.75 KiB view
Iptables_Semantics_Examples.gz1.07 MiB view
JinjaThreads.gz1.02 MiB view
Ordinary_Differential_Equations366.30 KiB view
Pure.gz84.80 KiB view
Routing.gz11.18 KiB view
Simple_Firewall.gz65.93 KiB view
Word_Lib.gz137.03 KiB view
Changes

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

  1. Jinja <2.9 compatibility (use new-style classes) (detail)
  2. Python 3 compatibility (detail)
  3. merged from afp-2016-1 (detail)
  4. add default Isabelle version (detail)
  5. regnerate site (detail)
  6. update submission prose (detail)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. recovered typedef with set bcontfun (amending d23eded35a33) (detail)
  2. modernized construction of type bcontfun; base explicit theorems on Uniform_Limit.thy; added some lemmas (detail)

Started by an SCM change

This run spent:

  • 7.8 sec waiting;
  • 17 hr build duration;
  • 17 hr total from scheduled to completion.
Revision: f435640193b65f419f2c6ca3162c140eac10bbd3
Revision: ee8091b2d624b2d7817de06f152ccfebe06a4ac3