Last Updated Fri, 26 May 2017 22:37:02 GMT (25 seconds ago.)
Project Everest Build Dashboard

everest
Continuous Integration
SUCCESS

10.9 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Logs: stderr stdout
Click here for full build details
Duration:
00h 17m 14s
2h
Build History
11.0 days ago
Commit: f8359f84 by Tahina Ramananandro
"chomolungma: install Coq"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 48s
2h
11.2 days ago
Commit: 6100fea5 by Tahina Ramananandro
"chomolungma: set up OPENSSL_HOME and LIBSODIUM_HOME"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 16m 41s
2h
14.2 days ago
Commit: 6ee5a8f0 by Tahina Ramananandro
"chomolungma: build openssl and libsodium From branch icfp2017, .docker/everest-icfp2017/Dockerfile"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 55s
2h
15.2 days ago
Commit: e4c65916 by Tahina Ramananandro
"Docker images: Work around nuget certificate validation issues See tianon/docker-brew-ubuntu-core#86 for more info."
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 19m 04s
2h
15.3 days ago
Commit: b55f6363 by Jonathan Protzenko
"More helpful suggestions based on feedback from @barrybo"
Build: Everest-CI-Windows
Make:
Duration:
00h 00m 08s
2h
15.5 days ago
Commit: c2b75ecd by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make:
Duration:
00h 00m 05s
2h
16.1 days ago
Commit: 5a25a5bf by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 19m 13s
2h
16.5 days ago
Commit: fcfa09b3 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 18m 21s
2h
17.0 days ago
Commit: 5136d9ac by Jonathan Protzenko
"Add git, too"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 35s
2h
17.0 days ago
Commit: e246526e by Jonathan Protzenko
"Typo in the name of the package"
Build: Everest-CI-Windows
Make: ./everest --yes -j 24 test
Duration:
00h 17m 43s
2h
Nightly upgrade
FAILED

13.4 hours ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Logs: stderr stdout
Click here for full build details
Duration:
00h 13m 20s
2h
Build History
1.6 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 13m 40s
2h
2.6 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 12m 41s
2h
3.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
01h 58m 46s
2h
4.3 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
01h 26m 04s
2h
4.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 09m 26s
2h
4.6 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 09m 14s
2h
5.6 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 09m 07s
2h
6.6 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 09m 15s
2h
7.6 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 08m 55s
2h
8.6 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 08m 44s
2h
Nightly
SUCCESS

12.2 hours ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Logs: stderr stdout
Click here for full build details
Duration:
02h 25m 32s
2h
Build History
1.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 22m 11s
2h
2.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 22m 46s
2h
3.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 29m 35s
2h
4.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 22m 34s
2h
5.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 17m 38s
2h
6.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 24m 14s
2h
7.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 15m 37s
2h
8.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 14m 19s
2h
9.5 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 27m 27s
2h
10.1 days ago
Commit: ba925043 by Tahina Ramananandro
"chomolungma: disable parallel build for Coq Not supported by Docker Hub"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 37m 26s
2h
F*
Continuous Integration
SUCCESS

7.2 hours ago
Commit: 546237c3 by Christoph M. Wintersteiger
"Merge branch 'master' of https://github.com/FStarLang/FStar into cwinter_z3nightly"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Logs: stderr stdout
Click here for full build details
Duration:
00h 11m 30s
2h
Build History
11.3 hours ago
Commit: d031142a by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 11m 37s
2h
1.5 days ago
Commit: ee4d8e54 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 11m 48s
2h
1.9 days ago
Commit: aa1d773f by Nikhil Swamy
"updating expected output"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 11m 26s
2h
2.0 days ago
Commit: 70a4731a by Nikhil Swamy
"Merge remote-tracking branch 'origin/cpitclaudel_related_ranges'"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 13m 25s
2h
2.0 days ago
Commit: 132973ec by Nikhil Swamy
"regen hints"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 29s
2h
2.1 days ago
Commit: 04bdfe5b by Kenji Maillard
"Empty commit"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 27s
2h
2.1 days ago
Commit: 98b52bbd by Aseem Rastogi
"correcting some changes"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 11m 59s
2h
2.1 days ago
Commit: 1cd78e6b by Aseem Rastogi
"Merge branch 'master' of github.com:FStarLang/FStar"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 56s
2h
2.1 days ago
Commit: e47d7474 by Nikhil Swamy
"reviving and restoring the unification and normalizer unit tests"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 11m 34s
2h
2.2 days ago
Commit: 16f61f8e by Nikhil Swamy
"Merge remote-tracking branch 'origin/c_ppdev_initial'"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 11m 33s
2h
Nightly
SUCCESS

11.5 hours ago
Commit: ee4d8e54 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Logs: stderr stdout
Click here for full build details
Duration:
00h 22m 24s
2h
Build History
1.5 days ago
Commit: aa1d773f by Nikhil Swamy
"updating expected output"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 20m 51s
2h
2.5 days ago
Commit: af32027e by Nikhil Swamy
"perm"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 25m 58s
2h
3.5 days ago
Commit: 74bf8cfd by Jean Karim
"fixed openssl commit"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 21m 42s
2h
4.5 days ago
Commit: cc786f16 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 19m 21s
2h
5.5 days ago
Commit: e266981c by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 19m 39s
2h
6.5 days ago
Commit: 2e6d0287 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 18m 19s
2h
7.5 days ago
Commit: 381636d0 by Nikhil Swamy
"Merge branch 'master' of github.com:FStarLang/FStar"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 21m 35s
2h
8.5 days ago
Commit: 670df2f0 by Catalin Hritcu
"fstar-pub archive now searchable"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 20m 22s
2h
9.5 days ago
Commit: 633ec486 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 12m 32s
2h
9.5 days ago
Commit: 251afe01 by Aseem Rastogi
"adding a couple of private qualifiers"
Build: FStar-Nightly-Linux
Make: make -C src utest -j 6 -k
Duration:
00h 14m 30s
2h
Docs nightly
SUCCESS

13.1 hours ago
Commit: ee4d8e54 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 52s
2h
Build History
1.5 days ago
Commit: aa1d773f by Nikhil Swamy
"updating expected output"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 04s
2h
2.5 days ago
Commit: af32027e by Nikhil Swamy
"perm"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 47s
2h
3.5 days ago
Commit: 74bf8cfd by Jean Karim
"fixed openssl commit"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 39s
2h
4.5 days ago
Commit: cc786f16 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 44s
2h
7.5 days ago
Commit: 381636d0 by Nikhil Swamy
"Merge branch 'master' of github.com:FStarLang/FStar"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 56s
2h
8.5 days ago
Commit: 670df2f0 by Catalin Hritcu
"fstar-pub archive now searchable"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 47s
2h
9.5 days ago
Commit: 251afe01 by Aseem Rastogi
"adding a couple of private qualifiers"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 52s
2h
10.2 days ago
Commit: a9e88786 by Jonathan Protzenko
"Merge pull request #1030 from FStarLang/darrenge_fix_versionstring Fixed CURRENT_VERSION to remove end of line char"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 47s
2h
11.5 days ago
Commit: 2716a3cd by Aseem Rastogi
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 42s
2h
14.5 days ago
Commit: d830fbdd by Nikhil Swamy
"a bit of cleanup"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 42s
2h
Binarybuild
SUCCESS

3.9 days ago
Commit: beef9661 by Jonathan Protzenko
"Merge pull request #1045 from FStarLang/darrenge_fix_hygiene Added make clean to ocaml-output to fix hygiene problem"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Logs: stderr stdout
Click here for full build details
Duration:
01h 35m 51s
2h
Build History
4.2 days ago
Commit: 38e653a6 by Aseem Rastogi
"Merge branch 'aseem_pervasives'"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
01h 15m 43s
2h
6.5 days ago
Commit: 2e6d0287 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
01h 13m 55s
2h
13.5 days ago
Commit: a8c1fbc8 by Nikhil Swamy
"removing checks on bounded integer constants"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
01h 08m 41s
2h
18.2 days ago
Commit: 02f60a48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
01h 03m 24s
2h
22.0 days ago
Commit: 517bc221 by Jonathan Protzenko
"Merge pull request #1015 from FStarLang/darrenge_binarybuild PR for the script that does the binary build ..."
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
01h 03m 12s
2h
31.5 days ago
Commit: c1d70865 by Guido Martínez
"syntax: remove ""optimization"" on mk_imp This was in fact not correct (turning `phi ==> False` into `False`). Remove that, and every other optimization really. That will be done at a later point. Luckily, our regressions pass with this change."
Build: FStar-BinaryBuild-Linux
Make: make -C src utest -k
Duration:
00h 53m 01s
2h
32.5 days ago
Commit: 57993be8 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make: make -C src utest -k
Duration:
00h 51m 55s
2h
35.5 days ago
Commit: 9469a5ac by Nikhil Swamy
"snap"
Build: FStar-BinaryBuild-Linux
Make: make -C src utest -k
Duration:
00h 50m 11s
2h
36.5 days ago
Commit: 2cc8a37b by Nikhil Swamy
"fixes #983, with @tahina-pro"
Build: FStar-BinaryBuild-Linux
Make: make -C src utest -k
Duration:
00h 55m 22s
2h
38.5 days ago
Commit: a7ae77ea by Benjamin Beurdouche
"Support for OCaml 4.04.1"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 00m 11s
2h
SUCCESS

4.0 days ago
Commit: beef9661 by Jonathan Protzenko
"Merge pull request #1045 from FStarLang/darrenge_fix_hygiene Added make clean to ocaml-output to fix hygiene problem"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Logs: stderr stdout
Click here for full build details
Duration:
00h 25m 20s
2h
Build History
4.2 days ago
Commit: 38e653a6 by Aseem Rastogi
"Merge branch 'aseem_pervasives'"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 11m 22s
2h
5.6 days ago
Commit: e266981c by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 11m 26s
2h
10.9 days ago
Commit: a9e88786 by Jonathan Protzenko
"Merge pull request #1030 from FStarLang/darrenge_fix_versionstring Fixed CURRENT_VERSION to remove end of line char"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 21m 51s
2h
11.2 days ago
Commit: 3b454b9d by Kenji Maillard
"Merge branch 'master' of github.com:FStarLang/FStar"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 11m 04s
2h
12.6 days ago
Commit: 6d040aad by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 11m 44s
2h
18.2 days ago
Commit: 02f60a48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 19m 39s
2h
22.0 days ago
Commit: 517bc221 by Jonathan Protzenko
"Merge pull request #1015 from FStarLang/darrenge_binarybuild PR for the script that does the binary build ..."
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 18m 54s
2h
33.6 days ago
Commit: d658ceff by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 09m 50s
2h
40.6 days ago
Commit: f5b500e2 by Santiago Zanella-Beguelin
"Code for #989"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 00m 40s
2h
81.0 days ago
Commit: 61da9b23 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 00m 17s
2h
miTLS
Continuous Integration
SUCCESS

3.2 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-CI-Windows
Make: mitls_verify
Logs: stderr stdout
Click here for full build details
Duration:
00h 19m 39s
2h
Build History
9.3 days ago
Commit: f4ef7e8a by Bryan Parno
"Fix up MASM/GCC-specific maddr"
Build: miTLS-CI-Windows
Make: scons -j 8 --NOVERIFY
Duration:
00h 07m 54s
2h
9.3 days ago
Commit: f4ef7e8a by Bryan Parno
"Fix up MASM/GCC-specific maddr"
Build: miTLS-CI-Windows
Make: scons -j 8 --NOVERIFY
Duration:
00h 07m 54s
2h
14.3 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 58s
2h
14.6 days ago
Commit: c2675188 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 27m 16s
2h
15.6 days ago
Commit: ea824eea by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 05m 13s
2h
15.6 days ago
Commit: ea824eea by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 05m 13s
2h
15.6 days ago
Commit: d33f86b4 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 19m 18s
2h
16.6 days ago
Commit: d33f86b4 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 06s
2h
17.0 days ago
Commit: 0b3827db by Barry Bond
"Merge pull request #165 from mitls/barrybo_working Misc FFI fixes"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 24m 38s
2h
17.1 days ago
Commit: 0b3827db by Barry Bond
"Merge pull request #165 from mitls/barrybo_working Misc FFI fixes"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 00m 35s
2h
Nightly
FAILED

14.4 hours ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
00h 04m 42s
2h
Build History
1.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 04m 35s
2h
2.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 04m 34s
2h
3.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 04m 49s
2h
4.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 04m 31s
2h
7.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 04m 35s
2h
8.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 05m 14s
2h
9.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 05m 07s
2h
10.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 09m 10s
2h
11.6 days ago
Commit: 81859950 by Nikhil Swamy
"default specs for MAC_SHA1.gen and MAC_SHA256.gen + whitespace cleanup"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 09m 48s
2h
14.6 days ago
Commit: ea824eea by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 25m 35s
2h
Hacl*
Continuous Integration
SUCCESS

11.4 hours ago
Commit: bd93bb93 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Logs: stderr stdout
Click here for full build details
Duration:
00h 31m 18s
2h
Build History
14.5 hours ago
Commit: 35a278f3 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 24m 20s
2h
1.5 days ago
Commit: 247fe248 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 28m 11s
2h
1.6 days ago
Commit: 1efaf43e by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 24m 37s
2h
2.5 days ago
Commit: ee2839d6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 32m 27s
2h
2.6 days ago
Commit: ceed5db4 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 23m 45s
2h
3.5 days ago
Commit: 666c63b6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 30m 43s
2h
3.6 days ago
Commit: c02005ea by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 24m 24s
2h
4.5 days ago
Commit: 8fa6aec6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 27m 45s
2h
4.6 days ago
Commit: 76282ba2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 23m 25s
2h
5.5 days ago
Commit: 2dd53b5a by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 29m 25s
2h
Nightly
SUCCESS

14.9 hours ago
Commit: 247fe248 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
00h 30m 41s
2h
Build History
1.6 days ago
Commit: ee2839d6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 29m 30s
2h
2.6 days ago
Commit: 666c63b6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 29m 24s
2h
3.6 days ago
Commit: 8fa6aec6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 30m 51s
2h
4.6 days ago
Commit: 2dd53b5a by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 29m 23s
2h
7.6 days ago
Commit: 18f67ff4 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 27m 56s
2h
8.6 days ago
Commit: 53388177 by Nikhil Swamy
"Merge remote-tracking branch 'origin/master' into nik_private"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 27m 16s
2h
9.6 days ago
Commit: 2aeda05b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 22m 09s
2h
10.6 days ago
Commit: dde72173 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 24m 29s
2h
11.6 days ago
Commit: 55bc4414 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 26m 05s
2h
14.6 days ago
Commit: acc4c598 by Santiago Zanella-Beguelin
"Nit"
Build: Hacl*-Nightly-Windows
Make: hacl_test_and_hints
Duration:
00h 25m 37s
2h
SUCCESS

11.9 hours ago
Commit: 35a278f3 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
00h 42m 50s
2h
Build History
1.5 days ago
Commit: 1efaf43e by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 40m 56s
2h
2.5 days ago
Commit: ceed5db4 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 38m 56s
2h
3.5 days ago
Commit: c02005ea by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 41m 11s
2h
4.5 days ago
Commit: 76282ba2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 54m 24s
2h
5.5 days ago
Commit: 92945e9b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 38m 25s
2h
6.5 days ago
Commit: 1f2993b8 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 39m 16s
2h
7.5 days ago
Commit: 8165da24 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 38m 06s
2h
8.5 days ago
Commit: e672e1e8 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 38m 13s
2h
9.5 days ago
Commit: d187e745 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 42m 12s
2h
10.1 days ago
Commit: e430fe95 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 40m 18s
2h
VALE
x86 Continuous Integration
SUCCESS

2.2 days ago
Commit: 914dff32 by Andrew Baumann
"fight with scons to make both absolute and relative (and default) dafny paths work ... it's still rather unclear to both me and barry how this is supposed to work"
Build: VALE-x86 CI-Windows
Make: scons.bat
Logs: stderr stdout
Click here for full build details
Duration:
01h 31m 46s
2h
Build History
2.9 days ago
Commit: 5b619a5b by Andrew Baumann
"allow DAFNY_PATH to be specified as a relative path"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
00h 01m 05s
2h
6.0 days ago
Commit: 5c922535 by Chris Hawblitzel
"Support calc statements in dafnyDirect mode"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 21m 41s
2h
9.0 days ago
Commit: 0511598a by Nikhil Swamy
"Merge branch 'master' of github.com:project-everest/vale"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
00h 21m 00s
2h
9.1 days ago
Commit: 28398591 by Bryan Parno
"Add a Vale target"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 30m 54s
2h
9.1 days ago
Commit: f82f804b by Bryan Parno
"Experimenting with extracting code"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 29m 32s
2h
9.2 days ago
Commit: f4ef7e8a by Bryan Parno
"Fix up MASM/GCC-specific maddr"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 34m 54s
2h
17.2 days ago
Commit: 0198de15 by Aseem Rastogi
"adding return type to the st monad"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 26m 41s
2h
18.0 days ago
Commit: fcf4a4ed by Bryan Parno
"Improve definition of bind plus corrected definition of AddCarry's flag means that the Hoare rules for all three forms of addition verify"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 22m 31s
2h
20.9 days ago
Commit: 7a2f2e2a by Chris Hawblitzel
"Update emit_fstar_text infix operators"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 21m 05s
2h
21.1 days ago
Commit: 8dae071f by Jonathan Protzenko
"Make it explicit that this piece of code is only meant to do something for windows platforms"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 29m 18s
2h
x64 Continuous Integration
SUCCESS

2.2 days ago
Commit: 914dff32 by Andrew Baumann
"fight with scons to make both absolute and relative (and default) dafny paths work ... it's still rather unclear to both me and barry how this is supposed to work"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Logs: stderr stdout
Click here for full build details
Duration:
00h 04m 13s
2h
Build History
2.9 days ago
Commit: 5b619a5b by Andrew Baumann
"allow DAFNY_PATH to be specified as a relative path"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 01m 01s
2h
6.1 days ago
Commit: 5c922535 by Chris Hawblitzel
"Support calc statements in dafnyDirect mode"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 11s
2h
9.0 days ago
Commit: 0511598a by Nikhil Swamy
"Merge branch 'master' of github.com:project-everest/vale"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 22s
2h
9.1 days ago
Commit: 28398591 by Bryan Parno
"Add a Vale target"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 01m 30s
2h
9.2 days ago
Commit: f82f804b by Bryan Parno
"Experimenting with extracting code"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 02s
2h
9.3 days ago
Commit: f4ef7e8a by Bryan Parno
"Fix up MASM/GCC-specific maddr"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 55s
2h
9.3 days ago
Commit: 9b793524 by Bryan Parno
"Refactor maddr"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 56s
2h
16.2 days ago
Commit: 0198de15 by Aseem Rastogi
"adding return type to the st monad"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 17s
2h
17.2 days ago
Commit: 0198de15 by Aseem Rastogi
"adding return type to the st monad"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 50s
2h
18.1 days ago
Commit: fcf4a4ed by Bryan Parno
"Improve definition of bind plus corrected definition of AddCarry's flag means that the Hoare rules for all three forms of addition verify"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 45s
2h
Continuous Integration
SUCCESS

2.2 days ago
Commit: 914dff32 by Andrew Baumann
"fight with scons to make both absolute and relative (and default) dafny paths work ... it's still rather unclear to both me and barry how this is supposed to work"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Logs: stderr stdout
Click here for full build details
Duration:
00h 01m 28s
2h
Build History
3.0 days ago
Commit: 5b619a5b by Andrew Baumann
"allow DAFNY_PATH to be specified as a relative path"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 00m 49s
2h
6.1 days ago
Commit: 5c922535 by Chris Hawblitzel
"Support calc statements in dafnyDirect mode"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 22s
2h
9.0 days ago
Commit: 0511598a by Nikhil Swamy
"Merge branch 'master' of github.com:project-everest/vale"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 22s
2h
9.2 days ago
Commit: 28398591 by Bryan Parno
"Add a Vale target"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 38s
2h
9.2 days ago
Commit: f82f804b by Bryan Parno
"Experimenting with extracting code"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 21s
2h
9.3 days ago
Commit: 9b793524 by Bryan Parno
"Refactor maddr"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 15s
2h
17.2 days ago
Commit: 0198de15 by Aseem Rastogi
"adding return type to the st monad"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 05s
2h
18.1 days ago
Commit: fcf4a4ed by Bryan Parno
"Improve definition of bind plus corrected definition of AddCarry's flag means that the Hoare rules for all three forms of addition verify"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 03s
2h
20.9 days ago
Commit: 7a2f2e2a by Chris Hawblitzel
"Update emit_fstar_text infix operators"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 05s
2h
21.2 days ago
Commit: 8dae071f by Jonathan Protzenko
"Make it explicit that this piece of code is only meant to do something for windows platforms"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 06s
2h