This repository has been archived by the owner on Jun 20, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy patheverest-build-129e2b21-20295.err
263 lines (260 loc) · 11.6 KB
/
everest-build-129e2b21-20295.err
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
Cloning into 'fstarlang_binaries'...
Already on 'master'
Cloning into 'mitls-fstar'...
Switched to a new branch 'cleanup-kremlib-2'
Cloning into 'vale'...
Already on 'master'
Cloning into 'FStar'...
Checking out files: 17% (497/2803) Checking out files: 18% (505/2803) Checking out files: 19% (533/2803) Checking out files: 20% (561/2803) Checking out files: 21% (589/2803) Checking out files: 22% (617/2803) Checking out files: 23% (645/2803) Checking out files: 24% (673/2803) Checking out files: 25% (701/2803) Checking out files: 26% (729/2803) Checking out files: 27% (757/2803) Checking out files: 28% (785/2803) Checking out files: 29% (813/2803) Checking out files: 30% (841/2803) Checking out files: 31% (869/2803) Checking out files: 32% (897/2803) Checking out files: 33% (925/2803) Checking out files: 34% (954/2803) Checking out files: 35% (982/2803) Checking out files: 36% (1010/2803) Checking out files: 36% (1022/2803) Checking out files: 37% (1038/2803) Checking out files: 38% (1066/2803) Checking out files: 39% (1094/2803) Checking out files: 40% (1122/2803) Checking out files: 41% (1150/2803) Checking out files: 42% (1178/2803) Checking out files: 43% (1206/2803) Checking out files: 44% (1234/2803) Checking out files: 45% (1262/2803) Checking out files: 46% (1290/2803) Checking out files: 47% (1318/2803) Checking out files: 48% (1346/2803) Checking out files: 49% (1374/2803) Checking out files: 50% (1402/2803) Checking out files: 51% (1430/2803) Checking out files: 52% (1458/2803) Checking out files: 53% (1486/2803) Checking out files: 54% (1514/2803) Checking out files: 54% (1533/2803) Checking out files: 55% (1542/2803) Checking out files: 56% (1570/2803) Checking out files: 57% (1598/2803) Checking out files: 58% (1626/2803) Checking out files: 59% (1654/2803) Checking out files: 60% (1682/2803) Checking out files: 61% (1710/2803) Checking out files: 62% (1738/2803) Checking out files: 63% (1766/2803) Checking out files: 64% (1794/2803) Checking out files: 65% (1822/2803) Checking out files: 66% (1850/2803) Checking out files: 67% (1879/2803) Checking out files: 68% (1907/2803) Checking out files: 69% (1935/2803) Checking out files: 70% (1963/2803) Checking out files: 71% (1991/2803) Checking out files: 72% (2019/2803) Checking out files: 72% (2021/2803) Checking out files: 73% (2047/2803) Checking out files: 74% (2075/2803) Checking out files: 75% (2103/2803) Checking out files: 76% (2131/2803) Checking out files: 77% (2159/2803) Checking out files: 78% (2187/2803) Checking out files: 79% (2215/2803) Checking out files: 80% (2243/2803) Checking out files: 81% (2271/2803) Checking out files: 82% (2299/2803) Checking out files: 83% (2327/2803) Checking out files: 84% (2355/2803) Checking out files: 85% (2383/2803) Checking out files: 86% (2411/2803) Checking out files: 87% (2439/2803) Checking out files: 88% (2467/2803) Checking out files: 88% (2486/2803) Checking out files: 89% (2495/2803) Checking out files: 90% (2523/2803) Checking out files: 91% (2551/2803) Checking out files: 92% (2579/2803) Checking out files: 93% (2607/2803) Checking out files: 94% (2635/2803) Checking out files: 95% (2663/2803) Checking out files: 96% (2691/2803) Checking out files: 97% (2719/2803) Checking out files: 98% (2747/2803) Checking out files: 99% (2775/2803) Checking out files: 100% (2803/2803) Checking out files: 100% (2803/2803), done.
Already on 'master'
Cloning into 'MLCrypto'...
Submodule 'openssl' (https://github.com/openssl/openssl) registered for path 'openssl'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl'...
Submodule 'boringssl' (https://boringssl.googlesource.com/boringssl) registered for path 'openssl/boringssl'
Submodule 'krb5' (https://github.com/krb5/krb5) registered for path 'openssl/krb5'
Submodule 'pyca.cryptography' (https://github.com/pyca/cryptography.git) registered for path 'openssl/pyca-cryptography'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl/boringssl'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl/krb5'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/MLCrypto/openssl/pyca-cryptography'...
Already on 'master'
Cloning into 'hacl-star'...
Checking out files: 9% (487/5288) Checking out files: 10% (529/5288) Checking out files: 11% (582/5288) Checking out files: 12% (635/5288) Checking out files: 13% (688/5288) Checking out files: 14% (741/5288) Checking out files: 15% (794/5288) Checking out files: 16% (847/5288) Checking out files: 17% (899/5288) Checking out files: 18% (952/5288) Checking out files: 19% (1005/5288) Checking out files: 19% (1026/5288) Checking out files: 20% (1058/5288) Checking out files: 21% (1111/5288) Checking out files: 22% (1164/5288) Checking out files: 23% (1217/5288) Checking out files: 24% (1270/5288) Checking out files: 25% (1322/5288) Checking out files: 26% (1375/5288) Checking out files: 27% (1428/5288) Checking out files: 28% (1481/5288) Checking out files: 29% (1534/5288) Checking out files: 29% (1582/5288) Checking out files: 30% (1587/5288) Checking out files: 31% (1640/5288) Checking out files: 32% (1693/5288) Checking out files: 33% (1746/5288) Checking out files: 34% (1798/5288) Checking out files: 35% (1851/5288) Checking out files: 36% (1904/5288) Checking out files: 37% (1957/5288) Checking out files: 38% (2010/5288) Checking out files: 39% (2063/5288) Checking out files: 39% (2079/5288) Checking out files: 40% (2116/5288) Checking out files: 41% (2169/5288) Checking out files: 42% (2221/5288) Checking out files: 43% (2274/5288) Checking out files: 44% (2327/5288) Checking out files: 45% (2380/5288) Checking out files: 46% (2433/5288) Checking out files: 47% (2486/5288) Checking out files: 48% (2539/5288) Checking out files: 49% (2592/5288) Checking out files: 49% (2616/5288) Checking out files: 50% (2644/5288) Checking out files: 51% (2697/5288) Checking out files: 52% (2750/5288) Checking out files: 53% (2803/5288) Checking out files: 54% (2856/5288) Checking out files: 55% (2909/5288) Checking out files: 56% (2962/5288) Checking out files: 57% (3015/5288) Checking out files: 58% (3068/5288) Checking out files: 59% (3120/5288) Checking out files: 60% (3173/5288) Checking out files: 60% (3178/5288) Checking out files: 61% (3226/5288) Checking out files: 62% (3279/5288) Checking out files: 63% (3332/5288) Checking out files: 64% (3385/5288) Checking out files: 65% (3438/5288) Checking out files: 66% (3491/5288) Checking out files: 67% (3543/5288) Checking out files: 68% (3596/5288) Checking out files: 69% (3649/5288) Checking out files: 70% (3702/5288) Checking out files: 70% (3743/5288) Checking out files: 71% (3755/5288) Checking out files: 72% (3808/5288) Checking out files: 73% (3861/5288) Checking out files: 74% (3914/5288) Checking out files: 75% (3966/5288) Checking out files: 76% (4019/5288) Checking out files: 77% (4072/5288) Checking out files: 78% (4125/5288) Checking out files: 79% (4178/5288) Checking out files: 80% (4231/5288) Checking out files: 80% (4257/5288) Checking out files: 81% (4284/5288) Checking out files: 82% (4337/5288) Checking out files: 83% (4390/5288) Checking out files: 84% (4442/5288) Checking out files: 85% (4495/5288) Checking out files: 86% (4548/5288) Checking out files: 87% (4601/5288) Checking out files: 88% (4654/5288) Checking out files: 89% (4707/5288) Checking out files: 90% (4760/5288) Checking out files: 90% (4780/5288) Checking out files: 91% (4813/5288) Checking out files: 92% (4865/5288) Checking out files: 93% (4918/5288) Checking out files: 94% (4971/5288) Checking out files: 95% (5024/5288) Checking out files: 96% (5077/5288) Checking out files: 97% (5130/5288) Checking out files: 98% (5183/5288) Checking out files: 99% (5236/5288) Checking out files: 100% (5288/5288) Checking out files: 100% (5288/5288), done.
Submodule 'other_providers/libsodium' (https://github.com/jedisct1/libsodium.git) registered for path 'other_providers/libsodium'
Submodule 'other_providers/openssl' (https://github.com/openssl/openssl.git) registered for path 'other_providers/openssl'
Submodule 'other_providers/vale' (https://github.com/project-everest/vale.git) registered for path 'other_providers/vale'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/libsodium'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/vale'...
Submodule 'boringssl' (https://boringssl.googlesource.com/boringssl) registered for path 'other_providers/openssl/boringssl'
Submodule 'krb5' (https://github.com/krb5/krb5) registered for path 'other_providers/openssl/krb5'
Submodule 'pyca.cryptography' (https://github.com/pyca/cryptography.git) registered for path 'other_providers/openssl/pyca-cryptography'
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl/boringssl'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl/krb5'...
Cloning into '/cygdrive/c/build/agent1/_work/6/s/hacl-star/other_providers/openssl/pyca-cryptography'...
Switched to a new branch 'cleanup-kremlib-2'
error: no such commit 89837c31f495915bdd42038eb2fa633966dd5c80
usage: git branch [<options>] [-r | -a] [--merged | --no-merged]
or: git branch [<options>] [-l] [-f] <branch-name> [<start-point>]
or: git branch [<options>] [-r] (-d | -D) <branch-name>...
or: git branch [<options>] (-m | -M) [<old-branch>] <new-branch>
or: git branch [<options>] [-r | -a] [--points-at]
or: git branch [<options>] [-r | -a] [--format]
Generic options
-v, --verbose show hash and subject, give twice for upstream branch
-q, --quiet suppress informational messages
-t, --track set up tracking mode (see git-pull(1))
--set-upstream change upstream info
-u, --set-upstream-to <upstream>
change the upstream info
--unset-upstream Unset the upstream info
--color[=<when>] use colored output
-r, --remotes act on remote-tracking branches
--contains <commit> print only branches that contain the commit
--no-contains <commit>
print only branches that don't contain the commit
--abbrev[=<n>] use <n> digits to display SHA-1s
Specific git-branch actions:
-a, --all list both remote-tracking and local branches
-d, --delete delete fully merged branch
-D delete branch (even if not merged)
-m, --move move/rename a branch and its reflog
-M move/rename a branch, even if target exists
--list list branch names
-l, --create-reflog create the branch's reflog
--edit-description edit the description for the branch
-f, --force force creation, move/rename, deletion
--merged <commit> print only branches that are merged
--no-merged <commit> print only branches that are not merged
--column[=<style>] list branches in columns
--sort <key> field name to sort on
--points-at <object> print only branches of the object
-i, --ignore-case sorting and filtering are case insensitive
--format <format> format to use for the output