Last Updated Thu, 23 Feb 2017 22:55:32 GMT (46 seconds ago.)
Project Everest Build Dashboard

miTLS
Continuous Integration
SUCCESS

13.7 hours ago
Commit: f457934d by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Logs: stderr stdout
Duration:
00h 06m 59s
2h
Build History
2.6 days ago
Commit: a3a04ea0 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 05s
2h
3.6 days ago
Commit: b43ca7bb by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 40s
2h
6.6 days ago
Commit: 0d0ec64e by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 55s
2h
7.6 days ago
Commit: 934a3371 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 45s
2h
8.6 days ago
Commit: 882afcd6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 28s
2h
9.6 days ago
Commit: 9cc887e1 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 33s
2h
10.6 days ago
Commit: 84face70 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 36s
2h
13.6 days ago
Commit: 7fcf71bf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 43s
2h
14.6 days ago
Commit: 5ae48c29 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 07m 03s
2h
20.0 days ago
Commit: 06020abd by Jonathan Protzenko
"Remove .fstar submodule (why?)"
Build: miTLS-CI-Windows
Make: mitls_verify
Duration:
00h 06m 54s
2h
Nightly
SUCCESS

13.8 hours ago
Commit: 6493f936 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Logs: stderr stdout
Duration:
00h 07m 09s
2h
Build History
2.6 days ago
Commit: b43ca7bb by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 10s
2h
3.6 days ago
Commit: 0d0ec64e by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 52s
2h
6.6 days ago
Commit: 934a3371 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 00s
2h
6.6 days ago
Commit: 934a3371 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 07m 00s
2h
7.6 days ago
Commit: 882afcd6 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 51s
2h
8.6 days ago
Commit: 9cc887e1 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 08m 19s
2h
9.6 days ago
Commit: 84face70 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 56s
2h
10.6 days ago
Commit: 7fcf71bf by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 50s
2h
13.6 days ago
Commit: 5ae48c29 by Dzomo the everest Yak
"[CI] regenerate hints"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 55s
2h
14.6 days ago
Commit: 06020abd by Jonathan Protzenko
"Remove .fstar submodule (why?)"
Build: miTLS-Nightly-Windows
Make: mitls_verify_and_hints
Duration:
00h 06m 47s
2h
F*
Continuous Integration
SUCCESS

7.2 hours ago
Commit: c208b9c8 by sishtiaq
"module-level fsdoc comment."
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Logs: stderr stdout
Duration:
00h 13m 07s
2h
Build History
7.3 hours ago
Commit: 1530f230 by sishtiaq
"git push to fstarlang.github.io using ssh protocol."
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 14m 43s
2h
7.9 hours ago
Commit: feceeb8f by sishtiaq
"module-level fsdoc comment."
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 10s
2h
9.7 hours ago
Commit: 24a4bdce by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 14s
2h
12.0 hours ago
Commit: e1a177fe by sishtiaq
"module-level fsdoc comment."
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 46s
2h
23.0 hours ago
Commit: e9dc25cc by Jonathan Protzenko
"Merge pull request #873 from FStarLang/darrenge_fstardocs_keys Changed from PAT to using keys"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 11m 51s
2h
1.0 days ago
Commit: efda90d2 by Dzomo the everest Yak
"[CI] New assemblies coming from Vale"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 44s
2h
1.3 days ago
Commit: 767e4bbb by Jonathan Protzenko
"Merge pull request #871 from FStarLang/cwinter_stable_topsort Stabilized topological sort of file dependencies."
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 17s
2h
1.5 days ago
Commit: 6c0d24a3 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 49s
2h
1.6 days ago
Commit: 719e2b8c by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 12m 31s
2h
1.8 days ago
Commit: cc6c70d4 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-CI-Windows
Make: make -C src utest -j 24 -k
Duration:
00h 13m 32s
2h
Nightly
SUCCESS

9.9 hours ago
Commit: e1a177fe by sishtiaq
"module-level fsdoc comment."
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Logs: stderr stdout
Duration:
01h 11m 36s
2h
Build History
16.1 hours ago
Commit: e9dc25cc by Jonathan Protzenko
"Merge pull request #873 from FStarLang/darrenge_fstardocs_keys Changed from PAT to using keys"
Build: FStar-Nightly-Linux-Agent3
Make:
Duration:
00h 00m 48s
2h
16.1 hours ago
Commit: e9dc25cc by Jonathan Protzenko
"Merge pull request #873 from FStarLang/darrenge_fstardocs_keys Changed from PAT to using keys"
Build: FStar-Nightly-Linux-Agent3
Make:
Duration:
00h 00m 48s
2h
1.5 days ago
Commit: 719e2b8c by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 53m 51s
2h
1.6 days ago
Commit: cc6c70d4 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: fstar-nightly-linux-irina
Make:
Duration:
00h 00m 45s
2h
2.4 days ago
Commit: 6a960213 by Jonathan Protzenko
"Merge pull request #870 from FStarLang/cwinter_thread_exceptions Fix for stack overflow problems due large output from Z3."
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 58m 38s
2h
3.5 days ago
Commit: 5068e36f by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 54m 25s
2h
4.5 days ago
Commit: d2ab227b by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 49m 20s
2h
5.5 days ago
Commit: 57d94da0 by Nikhil Swamy
"try again"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 51m 31s
2h
6.5 days ago
Commit: 1f60545e by Catalin Hritcu
"Code for #862"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
00h 57m 24s
2h
7.5 days ago
Commit: ad2fdffe by Nikhil Swamy
"fixes #858"
Build: FStar-Nightly-Linux
Make: make -C src ulong -j 6 -k
Duration:
01h 07m 27s
2h
SUCCESS

1.6 days ago
Commit: cc6c70d4 by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Logs: stderr stdout
Duration:
00h 56m 21s
2h
Build History
2.1 days ago
Commit: fbea944c by Victor Dumitrescu
"Streamlined prettyprinter invocation for extraction"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 55m 52s
2h
27.1 days ago
Commit: c545db40 by Nikhil Swamy
"trying for a green"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 39m 42s
2h
27.5 days ago
Commit: c545db40 by Nikhil Swamy
"trying for a green"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 42m 59s
2h
27.9 days ago
Commit: 72a0d51d by Jonathan Protzenko
"Temporary workaround"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 43m 38s
2h
28.0 days ago
Commit: 72a0d51d by Jonathan Protzenko
"Temporary workaround"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 41m 24s
2h
28.1 days ago
Commit: 5ff3bc6e by Nikhil Swamy
"fixing a regression revealed in MonotoneMap"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 23m 18s
2h
28.1 days ago
Commit: 5ff3bc6e by Nikhil Swamy
"fixing a regression revealed in MonotoneMap"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 27m 23s
2h
28.2 days ago
Commit: 5ff3bc6e by Nikhil Swamy
"fixing a regression revealed in MonotoneMap"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 24m 24s
2h
28.2 days ago
Commit: 5ff3bc6e by Nikhil Swamy
"fixing a regression revealed in MonotoneMap"
Build: FStar-Nightly-Windows
Make: make -C src ulong -j 6 -k
Duration:
00h 25m 20s
2h
Docs nightly
SUCCESS

7.5 hours ago
Commit: c208b9c8 by sishtiaq
"module-level fsdoc comment."
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Logs: stderr stdout
Duration:
00h 01m 51s
2h
Build History
9.7 hours ago
Commit: e1a177fe by sishtiaq
"module-level fsdoc comment."
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 15m 30s
2h
12.4 hours ago
Commit: e9dc25cc by Jonathan Protzenko
"Merge pull request #873 from FStarLang/darrenge_fstardocs_keys Changed from PAT to using keys"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 39s
2h
1.5 days ago
Commit: 719e2b8c by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 50s
2h
2.5 days ago
Commit: 6a960213 by Jonathan Protzenko
"Merge pull request #870 from FStarLang/cwinter_thread_exceptions Fix for stack overflow problems due large output from Z3."
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 47s
2h
3.5 days ago
Commit: 5068e36f by Dzomo the everest Yak
"[CI] regenerate hints + ocaml snapshot"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 50s
2h
6.5 days ago
Commit: 1f60545e by Catalin Hritcu
"Code for #862"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 51s
2h
7.1 days ago
Commit: cb49b421 by Victor Dumitrescu
"Committing to trigger CI"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 01m 50s
2h
7.2 days ago
Commit: cb49b421 by Victor Dumitrescu
"Committing to trigger CI"
Build: FStar-Docs Nightly-Linux
Make: .ci/fsdoc.sh
Duration:
00h 02m 11s
2h
7.2 days ago
Commit: cb49b421 by Victor Dumitrescu
"Committing to trigger CI"
Build: FStar-Docs Nightly-Linux
Make:
Duration:
00h 00m 35s
2h
7.3 days ago
Commit: cb49b421 by Victor Dumitrescu
"Committing to trigger CI"
Build: FStar-Docs Nightly-Linux
Make:
Duration:
00h 00m 08s
2h
everest
Continuous Integration
SUCCESS

11.4 hours ago
Commit: 36e2e733 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Logs: stderr stdout
Duration:
00h 41m 16s
2h
Build History
1.0 days ago
Commit: a8f40142 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 53m 22s
2h
1.2 days ago
Commit: 68e5505f by darrenge
"updated minor typos in readme.md"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 50m 06s
2h
1.2 days ago
Commit: 74cf833d by darrenge
"updated readme.md with scons install information Added part about installing scons for Windows."
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 49m 58s
2h
1.8 days ago
Commit: 9d96fe42 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 50m 50s
2h
2.5 days ago
Commit: 9d96fe42 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 48m 41s
2h
3.1 days ago
Commit: 6eeb2136 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 48m 51s
2h
8.5 days ago
Commit: 86b1f107 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 45m 13s
2h
9.5 days ago
Commit: 4369805e by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 49m 35s
2h
10.5 days ago
Commit: 2f2b741b by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 50m 05s
2h
11.5 days ago
Commit: eb696837 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-CI-Windows
Make: ./everest --yes test
Duration:
00h 48m 42s
2h
Nightly upgrade
SUCCESS

12.1 hours ago
Commit: a8f40142 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Logs: stderr stdout
Duration:
00h 49m 09s
2h
Build History
1.0 days ago
Commit: 68e5505f by darrenge
"updated minor typos in readme.md"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 58m 37s
2h
1.3 days ago
Commit: 9d96fe42 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 47m 11s
2h
1.5 days ago
Commit: 9d96fe42 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 48m 38s
2h
2.5 days ago
Commit: 6eeb2136 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 54m 58s
2h
3.2 days ago
Commit: 86b1f107 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 54m 22s
2h
3.5 days ago
Commit: 86b1f107 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 45m 31s
2h
4.5 days ago
Commit: 86b1f107 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 47m 15s
2h
5.5 days ago
Commit: 86b1f107 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 47m 12s
2h
6.1 days ago
Commit: 86b1f107 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 47m 29s
2h
6.5 days ago
Commit: 86b1f107 by Dzomo the everest Yak
"[CI] automatic upgrade"
Build: Everest-Nightly Upgrade-Windows
Make: everest_move
Duration:
00h 48m 40s
2h
Nightly
FAILED

13.8 hours ago
Commit: 27320c2d by Jonathan Protzenko
"Merge pull request #68 from project-everest/darrenge_vale_kremlin_fix Updated vale ci to have kremlin home and path based on cygpath"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Logs: stderr stdout
Duration:
00h 07m 14s
2h
Build History
2.6 days ago
Commit: 177e3270 by Jonathan Protzenko
"Merge pull request #64 from project-everest/darrenge_vale_linux Darrenge vale linux"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 06m 55s
2h
3.6 days ago
Commit: 177e3270 by Jonathan Protzenko
"Merge pull request #64 from project-everest/darrenge_vale_linux Darrenge vale linux"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 07m 06s
2h
4.6 days ago
Commit: 177e3270 by Jonathan Protzenko
"Merge pull request #64 from project-everest/darrenge_vale_linux Darrenge vale linux"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 06m 37s
2h
5.6 days ago
Commit: 177e3270 by Jonathan Protzenko
"Merge pull request #64 from project-everest/darrenge_vale_linux Darrenge vale linux"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 08m 38s
2h
7.6 days ago
Commit: b62dde81 by Jean Karim
"adding a HACL_HOME variable to hacl script"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 06m 59s
2h
8.6 days ago
Commit: ab3edb62 by Jonathan Protzenko
"Merge pull request #59 from project-everest/darrenge_vale_ci_fix Fixed the path to execute from Vale and not everest directory"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 07m 32s
2h
9.6 days ago
Commit: c2469e64 by Jonathan Protzenko
"Merge pull request #57 from project-everest/darrenge_vale_ci Darrenge vale ci"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 06m 52s
2h
10.6 days ago
Commit: ffc0b618 by Jean Karim
"removed hint generation"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 06m 55s
2h
11.6 days ago
Commit: ffc0b618 by Jean Karim
"removed hint generation"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 00m 40s
2h
12.6 days ago
Commit: ffc0b618 by Jean Karim
"removed hint generation"
Build: Everest-Nightly-Windows
Make: docker_from_scratch
Duration:
00h 06m 35s
2h
Hacl*
Continuous Integration
SUCCESS

1.4 days ago
Commit: eca2fc4c by Benjamin Beurdouche
"Makefile SHA2: verify the underlying module and the bundle"
Build: Hacl*-CI-Windows
Make: hacl_verify
Logs: stderr stdout
Duration:
00h 17m 14s
2h
Build History
1.5 days ago
Commit: 19b3d2bd by Benjamin Beurdouche
"Makefile HMAC: bundle SHA2 within HMAC_SHA2_256"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 19m 44s
2h
1.5 days ago
Commit: 7459f32f by Benjamin Beurdouche
"Hints for SHA2_256"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 17m 17s
2h
3.4 days ago
Commit: d76e5849 by Benjamin Beurdouche
"Update README.md"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 16m 59s
2h
3.4 days ago
Commit: e7c79a05 by Benjamin Beurdouche
"Update README.md"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 20m 22s
2h
5.5 days ago
Commit: f7e6a5d3 by Benjamin Beurdouche
"Update README.md"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 17m 20s
2h
5.5 days ago
Commit: 4f4e839f by Benjamin Beurdouche
"Update INSTALL.md"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 16m 56s
2h
6.2 days ago
Commit: 43e009f6 by Benjamin Beurdouche
"Hash Makefile verifies the top level SHA2 module instead of the underlying one"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 16m 51s
2h
6.2 days ago
Commit: 5f886275 by Benjamin Beurdouche
"Make SHA2 module specifications match the underlying proven memory-safe Hacl.Hash.SHA2.L256"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 16m 45s
2h
6.3 days ago
Commit: 14afa174 by Benjamin Beurdouche
"Make SHA2 module specifications match the underlying proven memory-safe Hacl.Hash.SHA2.L256"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 16m 39s
2h
6.3 days ago
Commit: 4d1c8276 by Benjamin Beurdouche
"Restore build of the shared library Missed it because Travis CI was down"
Build: Hacl*-CI-Windows
Make: hacl_verify
Duration:
00h 17m 36s
2h
VALE
x86 Continuous Integration
SUCCESS

21.4 hours ago
Commit: 9c388a21 by BarryBo
"Fix the problem where files are occasionally verified twice - one to filename.tmp and once to filename.gen.tmp."
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Logs: stderr stdout
Duration:
00h 29m 23s
2h
Build History
1.1 days ago
Commit: dd5aced9 by BarryBo
"Merge remote-tracking branch 'origin/master' into barrybo_x64_cbc # Conflicts: # SConstruct"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 40m 48s
2h
1.8 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 36m 19s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 35m 28s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 11m 06s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 15m 28s
2h
2.0 days ago
Commit: 1d8bbeb6 by Chris Hawblitzel
"In printGcc, fix cmp syntax and 64-bit shift operands"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 09m 39s
2h
2.0 days ago
Commit: 1d8bbeb6 by Chris Hawblitzel
"In printGcc, fix cmp syntax and 64-bit shift operands"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 17m 05s
2h
2.0 days ago
Commit: 72f73fe2 by Chris Hawblitzel
"In x64/printGcc, fix gcc printing of 64-bit constants and mul"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 37m 17s
2h
2.0 days ago
Commit: 72f73fe2 by Chris Hawblitzel
"In x64/printGcc, fix gcc printing of 64-bit constants and mul"
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 33m 11s
2h
2.1 days ago
Commit: 1caa9466 by BarryBo
"Fix --NOVERIFY on very clean installations, where no .vdfy files exist. The Dafny include file scanner inadvertently generated dependencies on .vdfy files."
Build: VALE-x86 CI-Windows
Make: scons.bat -j 4
Duration:
00h 38m 52s
2h
x64 Continuous Integration
FAILED

21.9 hours ago
Commit: 9c388a21 by BarryBo
"Fix the problem where files are occasionally verified twice - one to filename.tmp and once to filename.gen.tmp."
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Logs: stderr stdout
Duration:
00h 00m 28s
2h
Build History
1.1 days ago
Commit: dd5aced9 by BarryBo
"Merge remote-tracking branch 'origin/master' into barrybo_x64_cbc # Conflicts: # SConstruct"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 24s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 51s
2h
2.0 days ago
Commit: 1d8bbeb6 by Chris Hawblitzel
"In printGcc, fix cmp syntax and 64-bit shift operands"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 56s
2h
2.0 days ago
Commit: 1d8bbeb6 by Chris Hawblitzel
"In printGcc, fix cmp syntax and 64-bit shift operands"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 24s
2h
2.1 days ago
Commit: 72f73fe2 by Chris Hawblitzel
"In x64/printGcc, fix gcc printing of 64-bit constants and mul"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 22s
2h
2.2 days ago
Commit: 1caa9466 by BarryBo
"Fix --NOVERIFY on very clean installations, where no .vdfy files exist. The Dafny include file scanner inadvertently generated dependencies on .vdfy files."
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 24s
2h
6.0 days ago
Commit: 41bd9a02 by Chris Hawblitzel
"In poly1305, split a procedure to speed up verification"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 23s
2h
6.0 days ago
Commit: 41bd9a02 by Chris Hawblitzel
"In poly1305, split a procedure to speed up verification"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 18s
2h
6.0 days ago
Commit: 4ede1aad by BarryBo
"In the USE_OPENSSL=1 codepath, call OpenSSL's Poly1305 hash code"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 21s
2h
6.0 days ago
Commit: 4ede1aad by BarryBo
"In the USE_OPENSSL=1 codepath, call OpenSSL's Poly1305 hash code"
Build: VALE-x64 CI-Windows
Make: scons.bat -j 4 --NOVERIFY
Duration:
00h 00m 20s
2h
Continuous Integration
FAILED

21.9 hours ago
Commit: 9c388a21 by BarryBo
"Fix the problem where files are occasionally verified twice - one to filename.tmp and once to filename.gen.tmp."
Build: VALE-CI-Linux
Make:
Logs: stderr stdout
Duration:
00h 00m 17s
2h
Build History
1.1 days ago
Commit: dd5aced9 by BarryBo
"Merge remote-tracking branch 'origin/master' into barrybo_x64_cbc # Conflicts: # SConstruct"
Build: VALE-CI-Linux
Make:
Duration:
00h 00m 21s
2h
1.2 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-CI-Linux-clone
Make:
Duration:
00h 00m 15s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-CI-Linux
Make:
Duration:
00h 00m 14s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-CI-Linux
Make:
Duration:
00h 00m 13s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-CI-Linux
Make:
Duration:
00h 00m 13s
2h
1.9 days ago
Commit: 7081ed49 by Chris Hawblitzel
"Faster proof of lemma_mod_power2_lo"
Build: VALE-CI-Linux
Make:
Duration:
00h 00m 17s
2h
2.0 days ago
Commit: 1d8bbeb6 by Chris Hawblitzel
"In printGcc, fix cmp syntax and 64-bit shift operands"
Build: VALE-CI-Linux
Make:
Duration:
00h 00m 51s
2h
2.0 days ago
Commit: 72f73fe2 by Chris Hawblitzel
"In x64/printGcc, fix gcc printing of 64-bit constants and mul"
Build: VALE-CI-Linux
Make: scons -j 4 --NOVERIFY
Duration:
00h 00m 33s
2h
2.1 days ago
Commit: 72f73fe2 by Chris Hawblitzel
"In x64/printGcc, fix gcc printing of 64-bit constants and mul"
Build: VALE-CI-Linux
Make: scons -j 4 --NOVERIFY
Duration:
00h 00m 37s
2h
2.2 days ago
Commit: 1caa9466 by BarryBo
"Fix --NOVERIFY on very clean installations, where no .vdfy files exist. The Dafny include file scanner inadvertently generated dependencies on .vdfy files."
Build: VALE-CI-Linux
Make: scons -j 4 --NOVERIFY
Duration:
00h 00m 31s
2h