Issues

• Give a time breakdown for F* CI

  P2
  project-everest/everest-ci#117 · Filter by author msprotz opened on Oct 23, 2017
  

• restore MSVC CI for HACL*

  P1
  project-everest/everest-ci#115 · Filter by author msprotz opened on Oct 10, 2017
  1

  

• test more combinations for extraction in HACL*

  P1
  project-everest/everest-ci#101 · Filter by author msprotz opened on Oct 4, 2017
  

• Prevent Dzomo from doing empty commits

  P2
  project-everest/everest-ci#98 · Filter by author beurdouche opened on Aug 18, 2017
  4

• Add ability to get updated Z3 build for Everest Nightly

  P2
  project-everest/everest-ci#85 · Filter by author darrenge opened on Mar 30, 2017
  1

  

• Enhance the testing of mitls for the everest nightly upgrade job

  P2
  project-everest/everest-ci#47 · Filter by author msprotz opened on Jan 25, 2017
  2

  

• Make the bot go through the normal branch-green-merge process

  P3
  project-everest/everest-ci#10 · Filter by author msprotz opened on Dec 7, 2016