Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 2 mo ago
Took 20 hr on workerlrz5
Aborted

#349 (Feb 20, 2017, 1:33:12 AM)

Build Artifacts
AWN.gz50.58 KiB view
ConcurrentIMP.gz9.78 KiB view
Flyspeck-Tame.gz1.52 MiB view
HOL-Analysis.gz795.64 KiB view
HOL-Library.gz377.75 KiB view
HOL-ODE-Numerics.gz98.39 KiB view
HOL-ODE-Refinement.gz102.77 KiB view
HOL-ODE.gz300 B view
HOL-Word.gz31.26 KiB view
HOL.gz501.80 KiB view
IP_Addresses.gz92.16 KiB view
Iptables_Semantics.gz326.05 KiB view
Iptables_Semantics_Examples913.57 KiB view
Ordinary_Differential_Equations.gz91.09 KiB view
Pure.gz84.88 KiB view
Routing.gz11.31 KiB view
Simple_Firewall.gz66.47 KiB view
Word_Lib.gz138.13 KiB view
Changes

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

  1. backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra (detail)

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

  1. backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra (detail)
  2. more complete program generation in presence of dictionaries (detail)

Started by an SCM change

This run spent:

  • 8.1 sec waiting;
  • 20 hr build duration;
  • 20 hr total from scheduled to completion.
Revision: b46fe5138cb008e16ffd03e1d59d34dc45968365
Revision: 901f6bfc80844443e3f48a912fb1ed7ff7cd6d31