Search results

Give a time breakdown for F* CI

P2

Status: Open.

#117 In project-everest/everest-ci;

· msprotz opened on Oct 23, 2017

restore MSVC CI for HACL*

P1

Status: Open.

#115 In project-everest/everest-ci;

· msprotz opened on Oct 10, 2017

test more combinations for extraction in HACL*

P1

Status: Open.

#101 In project-everest/everest-ci;

· msprotz opened on Oct 4, 2017

Prevent Dzomo from doing empty commits

P2

Status: Open.

#98 In project-everest/everest-ci;

· beurdouche opened on Aug 18, 2017

Add ability to get updated Z3 build for Everest Nightly

P2

Status: Open.

#85 In project-everest/everest-ci;

· darrenge opened on Mar 30, 2017

Enhance the testing of mitls for the everest nightly upgrade job

P2

Status: Open.

#47 In project-everest/everest-ci;

· msprotz opened on Jan 25, 2017

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

P3

Status: Open.

#10 In project-everest/everest-ci;

· msprotz opened on Dec 7, 2016