Sign inSign up

projecteverest/mitls-fstar-windows-nt:62707afb8eaa

Manifest digest

sha256:4c31415720a1f1694c48ad75a5863d533f325405b881ddbdfab4dd3c010b2ac0

OS/ARCH

windows/amd64

Compressed size

12.54 GB

Last pushed

over 6 years by everbld

Type

Image

Manifest digest

sha256:4c31415720a1f1694c48ad75a5863d533f325405b881ddbdfab4dd3c010b2ac0

Image Layers

1Apply image 1809-RTM-amd641.43 GB
2Install update ltsc2019-amd64701.93 MB
3cmd /S /C net user4.44 MB
4cmd /S /C net localgroup298.65 KB
5cmd /S /C wmic useraccount4.48 MB
6cmd /S /C #(nop) 1.09 KB
7cmd /S /C powershell -Command62.26 MB
8cmd /S /C #(nop) ADD49.21 MB
9cmd /S /C powershell.exe -Command48.98 MB
10cmd /S /C C:/PS6/pwsh.EXE -Command978.34 KB
11cmd /S /C #(nop) ADD3.1 MB
12cmd /S /C c:/PS6/pwsh.exe -Command3.52 MB
13cmd /S /C c:/PS6/pwsh.exe -Command368.91 KB
14cmd /S /C c:/PS6/pwsh.exe -Command384.07 KB
15cmd /S /C c:/PS6/pwsh.exe -Command416.96 KB
16cmd /S /C #(nop) COPY2.37 KB
17cmd /S /C #(nop) COPY1.56 KB
18cmd /S /C #(nop) COPY2.44 KB
19cmd /S /C #(nop) COPY1.61 KB
20cmd /S /C #(nop) WORKDIR1.09 KB
21cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t408.46 KB
22cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t409.01 KB
23cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t405.28 KB
24cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t417.68 KB
25cmd /S /C C:/PS6/pwsh.EXE -Command423.87 KB
26cmd /S /C C:/PS6/pwsh.EXE -Command453.71 KB
27cmd /S /C #(nop) WORKDIR1.32 KB
28cmd /S /C #(nop) COPY1.72 KB
29cmd /S /C powershell.exe -Command464.05 KB
30cmd /S /C powershell.exe -Command461.84 KB
31cmd /S /C powershell.exe -Command611 KB
32cmd /S /C #(nop) ADD1.08 MB
33cmd /S /C .\vs2017.exe --add2.31 GB
34cmd /S /C del vs2017.exe492.95 KB
35powershell -Command $ErrorActionPreference = 'Stop';1.11 KB
36powershell -Command $ErrorActionPreference = 'Stop';544.43 KB
37powershell -Command $ErrorActionPreference = 'Stop';543.79 KB
38powershell -Command $ErrorActionPreference = 'Stop';1.41 KB
39powershell -Command $ErrorActionPreference = 'Stop';1.49 KB
40powershell -Command $ErrorActionPreference = 'Stop';11.88 KB
41powershell -Command $ErrorActionPreference = 'Stop';91.91 MB
42powershell -Command $ErrorActionPreference = 'Stop';907.8 KB
43powershell -Command $ErrorActionPreference = 'Stop';1.91 KB
44powershell -Command $ErrorActionPreference = 'Stop';781.4 MB
45powershell -Command $ErrorActionPreference = 'Stop';1.1 KB
46powershell -Command $ErrorActionPreference = 'Stop';163.47 MB
47powershell -Command $ErrorActionPreference = 'Stop';1.04 MB
48powershell -Command $ErrorActionPreference = 'Stop';2.91 MB
49powershell -Command $ErrorActionPreference = 'Stop';4.79 MB
50powershell -Command $ErrorActionPreference = 'Stop';142.2 MB
51powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
52powershell -Command $ErrorActionPreference = 'Stop';1.18 MB
53powershell -Command $ErrorActionPreference = 'Stop';1.16 MB
54powershell -Command $ErrorActionPreference = 'Stop';1.17 MB
55powershell -Command $ErrorActionPreference = 'Stop';2.45 MB
56powershell -Command $ErrorActionPreference = 'Stop';1.9 KB
57powershell -Command $ErrorActionPreference = 'Stop';1.66 KB
58powershell -Command $ErrorActionPreference = 'Stop';3.01 GB
59powershell -Command $ErrorActionPreference = 'Stop';1.42 MB
60powershell -Command $ErrorActionPreference = 'Stop';1.42 MB
61powershell -Command $ErrorActionPreference = 'Stop';1.65 KB
62powershell -Command $ErrorActionPreference = 'Stop';1.43 MB
63powershell -Command $ErrorActionPreference = 'Stop';1.43 MB
64powershell -Command $ErrorActionPreference = 'Stop';1.44 MB
65powershell -Command $ErrorActionPreference = 'Stop';1.08 KB
66powershell -Command $ErrorActionPreference = 'Stop';8.02 KB
67powershell -Command $ErrorActionPreference = 'Stop';1.27 KB
68powershell -Command $ErrorActionPreference = 'Stop';1.1 KB
69powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
70powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
71powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
72powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
73powershell -Command $ErrorActionPreference = 'Stop';1.48 KB
74powershell -Command $ErrorActionPreference = 'Stop';2.99 KB
75powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
76|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.46 MB
77powershell -Command $ErrorActionPreference = 'Stop';1.46 KB
78powershell -Command $ErrorActionPreference = 'Stop';662.67 MB
79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.47 MB
80|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.46 MB
81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.44 MB
82|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.45 MB
83|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.47 MB
84powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
85powershell -Command $ErrorActionPreference = 'Stop';5.31 KB
86powershell -Command $ErrorActionPreference = 'Stop';2.06 KB
87|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.87 GB
88|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=241.71 MB
89powershell -Command $ErrorActionPreference = 'Stop';1.1 KB
90powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
91powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
92powershell -Command $ErrorActionPreference = 'Stop';1.11 KB
93powershell -Command $ErrorActionPreference = 'Stop';1.45 KB
94powershell -Command $ErrorActionPreference = 'Stop';2.96 KB
95powershell -Command $ErrorActionPreference = 'Stop';1.11 KB
96|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.72 MB
97powershell -Command $ErrorActionPreference = 'Stop';1.46 KB
98powershell -Command $ErrorActionPreference = 'Stop';81.53 MB
99powershell -Command $ErrorActionPreference = 'Stop';1.11 KB
100|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.73 MB
101|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.74 MB
102|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.74 MB
103|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.76 MB
104|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.76 MB
105|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.78 MB
106|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.78 MB
107|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.8 MB
108|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.8 MB
109|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.81 MB
110|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.81 MB
111|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.82 MB
112|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.82 MB
113|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.83 MB
114powershell -Command $ErrorActionPreference = 'Stop';5.02 KB
115powershell -Command $ErrorActionPreference = 'Stop';1.97 KB
116|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.12 GB
117|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=mitls_verify MAXTHREADS=241.98 MB

Command

Apply image 1809-RTM-amd64