Skip to content
Started 2 yr 12 mo ago
Took 12 hr
Success

Build #42 (Apr 4, 2021, 12:14:00 AM)

Changes
  1. more robust; (detail)
  2. clarified message; (detail)
  3. tuned; (detail)
  4. tuned message; (detail)
  5. proper export; (detail)
  6. more options: build is part of default setup; (detail)
  7. misc tuning and clarification; (detail)
  8. more options; (detail)
  9. proper Admin script, outside the settings environment; (detail)
  10. tuned whitespace; (detail)
Changes
  1. merge from afp-2021 (detail)
  2. Infix notation for the less_sets relation (detail)
  3. merged (detail)
  4. simplified a few proofs (detail)
  5. sitegen and metadata for Constructive_Cryptography_CM (detail)
  6. new entry Constructive_Cryptography_CM (detail)

Started by timer

This run spent:

  • 39 ms waiting;
  • 12 hr build duration;
  • 12 hr total from scheduled to completion.
Revision: 5d750df8e89402c47faa3a268bc7864e990f0446
Revision: 693ae1ce0d54dd7828051617d4242a9103f1ea7f