Issues
- 4
Prevent Dzomo from doing empty commits
#98 opened by beurdouche - 1
- 4
- 1
Give a diff of which files lost hints for F* CI
#118 opened by msprotz - 1
investigate why some files are missing hints
#116 opened by msprotz - 14
investigate why the number of hint replay failures is artificially low in the F* build notifications
#112 opened by msprotz - 1
improved kremlin CI
#110 opened by msprotz - 2
- 1
- 4
x86_64-w64-mingw32-ar: unable to rename 'fstarlib.a'; reason: Device or resource busy
#53 opened by msprotz - 1
put quackyducky under everest ci
#113 opened by msprotz - 0
Fix F* binary build
#105 opened by msprotz - 1
periodically trim CI log repository
#114 opened by msprotz - 3
- 5
- 2
Reasons we want to get rid of VSTS
#103 opened by msprotz - 1
restore MSVC CI for HACL*
#115 opened by msprotz - 4
upgrade the wasm package in OPAM
#108 opened by msprotz - 0
Give a time breakdown for F* CI
#117 opened by msprotz - 2
- 0
beef up F* CI with orange
#111 opened by msprotz - 1
Switch HACL* to use .fstar_version and .krml_version
#104 opened by msprotz - 1
- 1
- 1
put LowCProvider under CI
#100 opened by msprotz - 0
test more combinations for extraction in HACL*
#101 opened by msprotz - 2
Trigger a new snapshot commit through CI
#95 opened by kyoDralliam - 0
fetch_hacl_for_mitls should update hacl repo
#94 opened by sishtiaq - 3
Create weekly build that produces FStar binaries
#55 opened by darrenge - 6
Linux agent lost communication
#89 opened by irinasp - 0
better CI for mitls
#71 opened by msprotz - 4
- 1
- 3
- 1
- 6
- 6
- 2
Fix Everest Dashboard links to StdErr and StdOut
#80 opened by darrenge - 10
- 2
Update the docs on the build process
#65 opened by darrenge - 1
- 1
- 1
Change the account info in Node Red
#69 opened by darrenge - 1
Investigate way to refresh docs for FStar docs
#63 opened by darrenge - 3
- 3
Create a CI for Vale
#54 opened by darrenge - 3
Collect Vale output
#60 opened by parno - 3
- 3
Create a new mitls-nightly job
#49 opened by msprotz - 1