Last Updated Sat, 23 Sep 2017 12:33:36 GMT (87 seconds ago.)
Project Everest Build Dashboard

everest
Continuous Integration
SUCCESS

20.4 hours ago
Commit: 80184c0a by Jonathan Protzenko
"Make sure everyone is on master"
Build: Everest-CI-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
01h 47m 48s
2h
Build History
1.5 days ago
Commit: e2cc07e7 by Jonathan Protzenko
"Merge the new work"
Build: Everest-CI-Windows
Make: everest_rebuild
Duration:
00h 25m 20s
2h
3.6 days ago
Commit: 0e5d1653 by Jonathan Protzenko
"Revert "New snapshots with all master branches merged" This reverts commit 485576ddf531a18d8f63b933726ec54103c141f4."
Build: Everest-CI-Windows
Make:
Duration:
01h 31m 29s
2h
3.7 days ago
Commit: 485576dd by Jonathan Protzenko
"New snapshots with all master branches merged"
Build: Everest-CI-Windows
Make: everest_rebuild
Duration:
00h 01m 24s
2h
10.8 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-CI-Windows
Make:
Duration:
01h 29m 02s
2h
23.7 days ago
Commit: 00ff3e76 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make:
Duration:
01h 48m 25s
2h
24.9 days ago
Commit: 09b55d7a by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make:
Duration:
01h 46m 55s
2h
25.0 days ago
Commit: 6c2e772f by Santiago Zanella-Beguelin
"Update"
Build: Everest-CI-Windows
Make:
Duration:
01h 39m 22s
2h
25.7 days ago
Commit: 76c6e9d9 by Tahina Ramananandro
"Merge branch 'fstar_v0.9.5.0' ***NO_CI***"
Build: Everest-CI-Windows
Make:
Duration:
01h 44m 30s
2h
32.0 days ago
Commit: 40933fad by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make:
Duration:
01h 42m 35s
2h
32.6 days ago
Commit: 8d176104 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make:
Duration:
01h 36m 07s
2h
Nightly upgrade
FAILED

3.1 hours ago
Commit: 80184c0a by Jonathan Protzenko
"Make sure everyone is on master"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Logs: stderr stdout
Click here for full build details
Duration:
00h 27m 23s
2h
Build History
1.1 days ago
Commit: b21f0bdd by Jonathan Protzenko
"Revert to known good, working hashes... and let the nightly tell us how it'll work out"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 01m 22s
2h
2.1 days ago
Commit: 0e5d1653 by Jonathan Protzenko
"Revert "New snapshots with all master branches merged" This reverts commit 485576ddf531a18d8f63b933726ec54103c141f4."
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 25m 53s
2h
2.9 days ago
Commit: 0e5d1653 by Jonathan Protzenko
"Revert "New snapshots with all master branches merged" This reverts commit 485576ddf531a18d8f63b933726ec54103c141f4."
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 21m 46s
2h
3.1 days ago
Commit: 0e5d1653 by Jonathan Protzenko
"Revert "New snapshots with all master branches merged" This reverts commit 485576ddf531a18d8f63b933726ec54103c141f4."
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 19m 16s
2h
4.0 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 17m 30s
2h
4.1 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 16m 48s
2h
5.1 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 17m 29s
2h
6.1 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 17m 23s
2h
7.1 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 24m 13s
2h
8.1 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 17m 46s
2h
Nightly
SUCCESS

2.1 hours ago
Commit: 80184c0a by Jonathan Protzenko
"Make sure everyone is on master"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Logs: stderr stdout
Click here for full build details
Duration:
02h 27m 37s
2h
Build History
1.2 days ago
Commit: b21f0bdd by Jonathan Protzenko
"Revert to known good, working hashes... and let the nightly tell us how it'll work out"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 18m 19s
2h
2.2 days ago
Commit: 0e5d1653 by Jonathan Protzenko
"Revert "New snapshots with all master branches merged" This reverts commit 485576ddf531a18d8f63b933726ec54103c141f4."
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 16s
2h
3.1 days ago
Commit: 0e5d1653 by Jonathan Protzenko
"Revert "New snapshots with all master branches merged" This reverts commit 485576ddf531a18d8f63b933726ec54103c141f4."
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
02h 29m 42s
2h
4.1 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 16s
2h
4.1 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 15s
2h
4.2 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 19s
2h
5.2 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 15s
2h
6.2 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 19s
2h
7.2 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 17s
2h
8.2 days ago
Commit: ccb8ba35 by Tahina Ramananandro
"everest verify: make FStar ulong"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 17s
2h
F*
Continuous Integration
SUCCESS

12.7 hours ago
Commit: 40b8a5b6 by Clément Pit--Claudel
"Merge branch 'cpitclaudel_staging'"
Build: FStar-CI-Windows
Make: run_fstar utest
Logs: stderr stdout
Click here for full build details
Duration:
00h 15m 31s
2h
Build History
13.0 hours ago
Commit: 812769af by Clément Pit-Claudel
"Merge pull request #1254 from FStarLang/cpitclaudel_staging Get rid of mark, reset_mark, and most uses of commit_mark"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 17m 38s
2h
19.7 hours ago
Commit: baaad2d0 by Jonathan Protzenko
"Merge pull request #1238 from ckeller/master Fix typo in tutorial"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 18m 30s
2h
19.8 hours ago
Commit: bf41753e by Jonathan Protzenko
"Merge pull request #1223 from A-Manning/patch-1 update INSTALL.md"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 18m 16s
2h
1.1 days ago
Commit: 7dc40ca9 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 18m 32s
2h
1.1 days ago
Commit: c7abda3c by Victor Dumitrescu
"Small renaming In order to avoid a warning when building from OCaml snapshot"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 16m 14s
2h
1.5 days ago
Commit: 24068926 by Jonathan Protzenko
"Restore the clean target that broke half the Everest projects"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 16m 44s
2h
1.5 days ago
Commit: 21ced911 by Jonathan Protzenko
"Meh"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 17m 25s
2h
1.6 days ago
Commit: 471257c1 by Jonathan Protzenko
"Fix misuse of find in src/Makefile"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 15m 20s
2h
1.6 days ago
Commit: 0cb4b852 by Jonathan Protzenko
"Switch to kremlin master"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 19m 38s
2h
1.8 days ago
Commit: 808cf9f5 by Victor Dumitrescu
"Merge branch 'master' of github.com:FStarLang/FStar into c_pretty_bootstrap"
Build: FStar-CI-Windows
Make: run_fstar utest
Duration:
00h 16m 48s
2h
Nightly
FAILED

1.2 hours ago
Commit: 40b8a5b6 by Clément Pit--Claudel
"Merge branch 'cpitclaudel_staging'"
Build: FStar-Nightly-Linux
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 16m 47s
2h
Build History
1.1 days ago
Commit: c7abda3c by Victor Dumitrescu
"Small renaming In order to avoid a warning when building from OCaml snapshot"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 21m 33s
2h
2.1 days ago
Commit: a174593c by Markulf Kohlweiss
"Merge pull request #1253 from FStarLang/tuto_ex12b_RPC_no_axiom Tuto ex12b rpc no axiom"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 20m 07s
2h
3.1 days ago
Commit: 487f07d0 by Aseem Rastogi
"snap"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 18m 56s
2h
4.1 days ago
Commit: 328f752e by Nikhil Swamy
"snap; fixes #1245"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 19m 32s
2h
5.1 days ago
Commit: b66d8a0a by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 23m 02s
2h
6.1 days ago
Commit: 9be0a2cf by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 18m 27s
2h
7.1 days ago
Commit: 77a66124 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 21m 09s
2h
8.1 days ago
Commit: de126aef by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 15m 52s
2h
8.8 days ago
Commit: bd666484 by Victor Dumitrescu
"snap"
Build: FStar-Nightly-Linux
Make: run_fstar ulong
Duration:
00h 17m 14s
2h
9.1 days ago
Commit: 2346436b by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make:
Duration:
00h 15m 01s
2h
Docs nightly
SUCCESS

1.1 days ago
Commit: 24068926 by Jonathan Protzenko
"Restore the clean target that broke half the Everest projects"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Logs: stderr stdout
Click here for full build details
Duration:
00h 00m 56s
2h
Build History
2.1 days ago
Commit: a174593c by Markulf Kohlweiss
"Merge pull request #1253 from FStarLang/tuto_ex12b_RPC_no_axiom Tuto ex12b rpc no axiom"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 09s
2h
3.1 days ago
Commit: 487f07d0 by Aseem Rastogi
"snap"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 08s
2h
4.1 days ago
Commit: 328f752e by Nikhil Swamy
"snap; fixes #1245"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 14s
2h
5.1 days ago
Commit: b66d8a0a by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 53s
2h
8.1 days ago
Commit: de126aef by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 41s
2h
9.1 days ago
Commit: 2346436b by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 31s
2h
10.1 days ago
Commit: ba655bbd by Clément Pit-Claudel
"Merge pull request #1232 from FStarLang/cpitclaudel_1217 Fix #1217, introduced by 27c72ea551ae2b56cc975fc9023aaa5d5ceb904d"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 02m 06s
2h
11.1 days ago
Commit: 9c3cc362 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 02m 11s
2h
12.1 days ago
Commit: 2b2445f3 by Nikhil Swamy
"Merge remote-tracking branch 'origin/master' into nik_norm_beta_impure"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 52s
2h
15.1 days ago
Commit: 9a8a12f2 by Catalin Hritcu
"Documenting new ulex dependency (Unicode) https://github.com/FStarLang/FStar/wiki/Unicode-Support-in-F%E2%98%85"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 00m 51s
2h
Binarybuild
FAILED

2.2 hours ago
Commit: 40b8a5b6 by Clément Pit--Claudel
"Merge branch 'cpitclaudel_staging'"
Build: FStar-BinaryBuild-Linux
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 50m 13s
2h
Build History
3.2 days ago
Commit: 487f07d0 by Aseem Rastogi
"snap"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 34m 09s
2h
3.9 days ago
Commit: d3c88357 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 48m 40s
2h
3.9 days ago
Commit: d3c88357 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make: ./.scripts/process_build.sh
Duration:
01h 20m 38s
2h
7.1 days ago
Commit: 77a66124 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 20m 01s
2h
8.6 days ago
Commit: de126aef by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
01h 14m 07s
2h
14.1 days ago
Commit: 22d51563 by Antoine Delignat-Lavaud
"Accidentally replaced CoreCrypto from outsourced signature branch... restoring"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 40m 03s
2h
17.9 days ago
Commit: 4190712a by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
01h 12m 59s
2h
18.0 days ago
Commit: 4190712a by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 45m 03s
2h
21.1 days ago
Commit: 53faf054 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
00h 45m 03s
2h
24.7 days ago
Commit: 69ca7d48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Linux
Make:
Duration:
01h 03m 39s
2h
SUCCESS

4.9 days ago
Commit: 4f89c908 by Aseem Rastogi
"Merge branch 'master' into aseem_1197"
Build: FStar-BinaryBuild-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 23m 31s
2h
Build History
6.2 days ago
Commit: 9be0a2cf by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: run_fstar utest
Duration:
00h 13m 52s
2h
13.2 days ago
Commit: c8b2513c by Nikhil Swamy
"regen hints"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 21m 35s
2h
20.2 days ago
Commit: 2d054f4e by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 21m 11s
2h
24.6 days ago
Commit: 69ca7d48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make:
Duration:
00h 21m 41s
2h
24.6 days ago
Commit: 69ca7d48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 14m 08s
2h
24.7 days ago
Commit: 69ca7d48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: run_fstar utest
Duration:
00h 12m 54s
2h
24.7 days ago
Commit: 69ca7d48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: run_fstar utest
Duration:
00h 12m 53s
2h
24.7 days ago
Commit: 69ca7d48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 14m 01s
2h
24.7 days ago
Commit: 69ca7d48 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-BinaryBuild-Windows
Make: run_fstar utest
Duration:
00h 12m 56s
2h
27.2 days ago
Commit: e96fa88c by Tahina Ramananandro
"Hints"
Build: FStar-BinaryBuild-Windows
Make: ./.scripts/process_build.sh
Duration:
00h 14m 31s
2h
miTLS
Continuous Integration
SUCCESS

19.4 hours ago
Commit: 166711aa by Jonathan Protzenko
"Revert F* version"
Build: miTLS-CI-Windows
Make: mitls_verify
Logs: stderr stdout
Click here for full build details
Duration:
00h 20m 18s
2h
Build History
20.1 hours ago
Commit: 166711aa by Jonathan Protzenko
"Revert F* version"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 10s
2h
20.7 hours ago
Commit: 166711aa by Jonathan Protzenko
"Revert F* version"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 15m 47s
2h
21.3 hours ago
Commit: 166711aa by Jonathan Protzenko
"Revert F* version"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 52s
2h
1.5 days ago
Commit: 7d19b5b7 by Jonathan Protzenko
"Try again"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 11s
2h
1.6 days ago
Commit: 350c130c by Jonathan Protzenko
"Update .fstar_version"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 32s
2h
1.6 days ago
Commit: 6679fe1c by Jonathan Protzenko
"Merge remote-tracking branch 'origin/c_mitls2c_new_attrs'"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 05s
2h
2.2 days ago
Commit: 3b9e73b7 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 18m 10s
2h
3.2 days ago
Commit: ee550abf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 20m 01s
2h
4.2 days ago
Commit: 9ea1eef9 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 16m 33s
2h
5.2 days ago
Commit: a57de669 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 17m 55s
2h
Nightly
FAILED

1.2 days ago
Commit: 7d19b5b7 by Jonathan Protzenko
"Try again"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Logs: stderr stdout
Click here for full build details
Duration:
00h 07m 32s
2h
Build History
2.2 days ago
Commit: ee550abf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 28s
2h
3.2 days ago
Commit: 9ea1eef9 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 47s
2h
4.2 days ago
Commit: a57de669 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 16m 49s
2h
5.2 days ago
Commit: f781eeed by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 06s
2h
8.2 days ago
Commit: f9439fd2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 24s
2h
9.2 days ago
Commit: 23b27e6c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 37s
2h
10.2 days ago
Commit: 69f1592f by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 21s
2h
11.2 days ago
Commit: eac329c8 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 15s
2h
12.2 days ago
Commit: 078960ab by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 17m 47s
2h
15.2 days ago
Commit: f63affd2 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 18m 07s
2h
Hacl*
Continuous Integration
SUCCESS

56 minutes ago
Commit: a13ea5c8 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 30m 12s
2h
Build History
21.5 hours ago
Commit: 56ea7581 by Jonathan Protzenko
"Merge branch 'master' of github.com:mitls/hacl-star"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 30m 21s
2h
1.0 days ago
Commit: c87b645b by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 22m 58s
2h
1.6 days ago
Commit: 34a4ce9c by Jonathan Protzenko
"Bring in newer kremlin"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 21m 25s
2h
1.6 days ago
Commit: 0bccc026 by Jonathan Protzenko
"Merge branch 'master' of pro.github.com:mitls/hacl-star"
Build: Hacl*-CI-Windows
Make: hacl_test
Duration:
00h 19m 21s
2h
2.1 days ago
Commit: da44b993 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 31m 59s
2h
2.9 days ago
Commit: 1b286706 by Santiago Zanella-Beguelin
"Set HACL_HOME correctly"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 29m 52s
2h
3.0 days ago
Commit: 53a860e1 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 32m 42s
2h
3.2 days ago
Commit: ff7c16be by Benjamin Beurdouche
"Remove deprecated targets"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 29m 02s
2h
4.0 days ago
Commit: 97d572f9 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 30m 14s
2h
5.0 days ago
Commit: ffea9757 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-CI-Windows
Make:
Duration:
00h 30m 43s
2h
Nightly
SUCCESS

17.9 days ago
Commit: bb664f58 by Santiago Zanella-Beguelin
"Merge remote-tracking branch 'origin/master' into dev_norec"
Build: Hacl*-Nightly-Windows
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 39m 45s
2h
Build History
18.9 days ago
Commit: 7c788c26 by Benjamin Beurdouche
"Merge branch 'dev_karthik_clean_fixes'"
Build: Hacl*-Nightly-Windows
Make:
Duration:
00h 32m 17s
2h
37.2 days ago
Commit: 5d51fbde by Tahina Ramananandro
"Trigger CI (hopefully)"
Build: Hacl*-Nightly-Windows
Make:
Duration:
00h 33m 21s
2h
92.7 days ago
Commit: b1e14999 by Christoph M. Wintersteiger
"Added notes about --hint_info for F*"
Build: Hacl*-Nightly-Windows
Make:
Duration:
00h 00m 27s
2h
92.9 days ago
Commit: 3fb074ae by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 40m 05s
2h
93.2 days ago
Commit: 3fb074ae by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 37m 21s
2h
94.2 days ago
Commit: 94158300 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 36m 52s
2h
95.2 days ago
Commit: 204d8714 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 37m 40s
2h
96.2 days ago
Commit: d90b2a99 by Benjamin Beurdouche
"Merge branch 'dev'"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 38m 23s
2h
99.2 days ago
Commit: 25a5d255 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 31m 55s
2h
100.2 days ago
Commit: 3577a93c by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Windows
Make: hacl_test
Duration:
00h 28m 20s
2h
SUCCESS

1.4 hours ago
Commit: fac0aaec by Jonathan Protzenko
"Don't hide warnings... ***NO_CI***"
Build: Hacl*-Nightly-Linux
Make:
Logs: stderr stdout
Click here for full build details
Duration:
00h 48m 17s
2h
Build History
1.1 days ago
Commit: 34a4ce9c by Jonathan Protzenko
"Bring in newer kremlin"
Build: Hacl*-Nightly-Linux
Make: hacl_test_and_hints
Duration:
00h 44m 37s
2h
2.1 days ago
Commit: 1b286706 by Santiago Zanella-Beguelin
"Set HACL_HOME correctly"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 47m 56s
2h
3.1 days ago
Commit: ff7c16be by Benjamin Beurdouche
"Remove deprecated targets"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 58m 29s
2h
4.1 days ago
Commit: ffea9757 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 51m 03s
2h
5.0 days ago
Commit: ffea9757 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 25m 52s
2h
5.0 days ago
Commit: 606b7cda by Benjamin Beurdouche
"Restore unit-tests on Linux"
Build: Hacl*-Nightly-Linux
Make:
Duration:
01h 02m 28s
2h
5.1 days ago
Commit: 3c8db004 by Benjamin Beurdouche
"Update README.md Experimental RSA-PSS"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 48m 58s
2h
6.1 days ago
Commit: 3c8db004 by Benjamin Beurdouche
"Update README.md Experimental RSA-PSS"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 20m 00s
2h
7.1 days ago
Commit: 6ed275f8 by Catalin Hritcu
"Nits in README.md"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 50m 39s
2h
8.1 days ago
Commit: 900df749 by karthikbhargavan
"Update README.md"
Build: Hacl*-Nightly-Linux
Make:
Duration:
00h 49m 12s
2h
VALE
x86 Continuous Integration
SUCCESS

1.5 days ago
Commit: c0ccf7e1 by Jonathan Protzenko
"Remove unneeded file"
Build: VALE-x86 CI-Windows
Make: scons.bat
Logs: stderr stdout
Click here for full build details
Duration:
01h 33m 38s
2h
Build History
1.6 days ago
Commit: c0ccf7e1 by Jonathan Protzenko
"Remove unneeded file"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 20m 46s
2h
16.7 days ago
Commit: bb7174f6 by Bryan Parno
"Merge pull request #5 from ashay/leakage-fix Fix order of arguments to publicTaintsAreAsExpected() in x86, x64, and ARM code."
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 28m 53s
2h
16.7 days ago
Commit: ac2b10d7 by Bryan Parno
"Merge pull request #4 from ashay/master Porting x86 leakage analysis code and proofs to x64."
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 29m 48s
2h
18.8 days ago
Commit: e4348f0c by Chris Hawblitzel
""requires/ensures/reads/modifies/lets" spec syntax, allowing specs in arbitrary order, and using lexical scoping for all "lets" declarations. Move syntactic desugaring of specs out of parser so that -reprint retains original syntax."
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 28m 24s
2h
23.7 days ago
Commit: d1cc6cf9 by Chris Hawblitzel
"Remove operator overloading for instructions"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 27m 07s
2h
45.5 days ago
Commit: 4ff7724e by Chris Hawblitzel
"Only run KreMLin when KREMLIN_HOME is set"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 32m 33s
2h
67.8 days ago
Commit: 7bec821a by Barry Bond
"DafnyInterface.dll build problem on Windows - scons wasn't finding csc"
Build: VALE-x86 CI-Windows
Make:
Duration:
00h 00m 45s
2h
69.1 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x86 CI-Windows
Make:
Duration:
00h 00m 52s
2h
70.9 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 07m 55s
2h
72.3 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-x86 CI-Windows
Make: scons.bat
Duration:
01h 11m 24s
2h
x64 Continuous Integration
SUCCESS

1.6 days ago
Commit: c0ccf7e1 by Jonathan Protzenko
"Remove unneeded file"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Logs: stderr stdout
Click here for full build details
Duration:
00h 05m 19s
2h
Build History
1.6 days ago
Commit: c0ccf7e1 by Jonathan Protzenko
"Remove unneeded file"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 03m 55s
2h
16.7 days ago
Commit: bb7174f6 by Bryan Parno
"Merge pull request #5 from ashay/leakage-fix Fix order of arguments to publicTaintsAreAsExpected() in x86, x64, and ARM code."
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 15s
2h
16.8 days ago
Commit: ac2b10d7 by Bryan Parno
"Merge pull request #4 from ashay/master Porting x86 leakage analysis code and proofs to x64."
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 15s
2h
18.9 days ago
Commit: e4348f0c by Chris Hawblitzel
""requires/ensures/reads/modifies/lets" spec syntax, allowing specs in arbitrary order, and using lexical scoping for all "lets" declarations. Move syntactic desugaring of specs out of parser so that -reprint retains original syntax."
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 18s
2h
23.7 days ago
Commit: d1cc6cf9 by Chris Hawblitzel
"Remove operator overloading for instructions"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 18s
2h
45.5 days ago
Commit: 4ff7724e by Chris Hawblitzel
"Only run KreMLin when KREMLIN_HOME is set"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 05m 15s
2h
67.8 days ago
Commit: 7bec821a by Barry Bond
"DafnyInterface.dll build problem on Windows - scons wasn't finding csc"
Build: VALE-x64 CI-Windows
Make:
Duration:
00h 00m 45s
2h
69.1 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x64 CI-Windows
Make:
Duration:
00h 00m 51s
2h
70.9 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 46s
2h
72.3 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-x64 CI-Windows
Make: scons.bat --NOVERIFY
Duration:
00h 04m 54s
2h
Continuous Integration
SUCCESS

1.6 days ago
Commit: c0ccf7e1 by Jonathan Protzenko
"Remove unneeded file"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Logs: stderr stdout
Click here for full build details
Duration:
00h 01m 24s
2h
Build History
16.8 days ago
Commit: bb7174f6 by Bryan Parno
"Merge pull request #5 from ashay/leakage-fix Fix order of arguments to publicTaintsAreAsExpected() in x86, x64, and ARM code."
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 17s
2h
16.8 days ago
Commit: ac2b10d7 by Bryan Parno
"Merge pull request #4 from ashay/master Porting x86 leakage analysis code and proofs to x64."
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 22s
2h
18.9 days ago
Commit: e4348f0c by Chris Hawblitzel
""requires/ensures/reads/modifies/lets" spec syntax, allowing specs in arbitrary order, and using lexical scoping for all "lets" declarations. Move syntactic desugaring of specs out of parser so that -reprint retains original syntax."
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 48s
2h
23.8 days ago
Commit: d1cc6cf9 by Chris Hawblitzel
"Remove operator overloading for instructions"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 24s
2h
45.6 days ago
Commit: 4ff7724e by Chris Hawblitzel
"Only run KreMLin when KREMLIN_HOME is set"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 35s
2h
67.6 days ago
Commit: 7bec821a by Barry Bond
"DafnyInterface.dll build problem on Windows - scons wasn't finding csc"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 18s
2h
69.1 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 21s
2h
70.9 days ago
Commit: f6c33caf by Santiago Zanella-Beguelin
"Use pre-generated FStar.h with definition of FStar_UInt128_uint128"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 21s
2h
71.6 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-CI-Linux
Make: scons -j 8 --NOVERIFY
Duration:
00h 01m 19s
2h
71.7 days ago
Commit: c0790d7b by Chris Hawblitzel
"Evaluate procedure-level 'let' bindings in old state"
Build: VALE-CI-Linux
Make:
Duration:
00h 06m 18s
2h