Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 10 mo ago
Took 5 hr 0 min on workermta1
Aborted

#1233 (Jul 14, 2020, 12:50:06 AM)

Build Artifacts
HOL-Analysis.db1.58 MiB view
HOL-Analysis.gz15.81 KiB view
HOL-Auth.db128.00 KiB view
HOL-Auth.gz16.57 KiB view
HOL-Bali.db188.00 KiB view
HOL-Bali.gz14.22 KiB view
HOL-Cardinals.db92.00 KiB view
HOL-Cardinals.gz555 B view
HOL-Complex_Analysis.db20.00 KiB view
HOL.db828.00 KiB view
HOL.gz123.47 KiB view
Pure.db48.00 KiB view
Pure.gz68.61 KiB view
Changes
  1. concatentation of bit values (detail / hgweb)
  2. prefer canonically oriented lists of bits and more direct characterizations in definitions (detail / hgweb)
  3. more simp rules for concrete numerical values (detail / hgweb)
  4. words added to code generator test (detail / hgweb)

Started by an SCM change

This run spent:

  • 5.1 sec waiting;
  • 5 hr 0 min build duration;
  • 5 hr 0 min total from scheduled to completion.
Revision: 08f1e4cb735fd3fe7cabc4d5ab471cfafb010845