Sign inSign up

projecteverest/fstar-binaries-windows-nt:5a182bef7bec

Manifest digest

sha256:0812209886781267c48980334bb64da317ebf3f078594d8f4536bf988092c94d

OS/ARCH

windows/amd64

Compressed size

13.18 GB

Last pushed

almost 7 years by everbld

Type

Image

Manifest digest

sha256:0812209886781267c48980334bb64da317ebf3f078594d8f4536bf988092c94d

Image Layers

1Apply image 1809-RTM-amd641.43 GB
2Install update ltsc2019-amd64649.47 MB
3cmd /S /C net user4.34 MB
4cmd /S /C net localgroup338.05 KB
5cmd /S /C #(nop) 1.1 KB
6cmd /S /C powershell -Command58.96 MB
7cmd /S /C #(nop) ADD49.21 MB
8cmd /S /C powershell.exe -Command49.01 MB
9cmd /S /C C:/PS6/pwsh.EXE -Command1023.63 KB
10cmd /S /C #(nop) ADD3.1 MB
11cmd /S /C c:/PS6/pwsh.exe -Command3.56 MB
12cmd /S /C c:/PS6/pwsh.exe -Command421.83 KB
13cmd /S /C c:/PS6/pwsh.exe -Command423.41 KB
14cmd /S /C c:/PS6/pwsh.exe -Command442.46 KB
15cmd /S /C #(nop) COPY2.35 KB
16cmd /S /C #(nop) COPY1.52 KB
17cmd /S /C #(nop) COPY2.41 KB
18cmd /S /C #(nop) COPY1.58 KB
19cmd /S /C #(nop) WORKDIR1.06 KB
20cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t456.63 KB
21cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t458.27 KB
22cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t432.77 KB
23cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t471.53 KB
24cmd /S /C C:/PS6/pwsh.EXE -Command472.33 KB
25cmd /S /C C:/PS6/pwsh.EXE -Command492.84 KB
26cmd /S /C #(nop) WORKDIR1.28 KB
27cmd /S /C #(nop) COPY1.72 KB
28cmd /S /C powershell.exe -Command503.18 KB
29cmd /S /C powershell.exe -Command516.71 KB
30cmd /S /C powershell.exe -Command660.53 KB
31cmd /S /C #(nop) ADD1.1 MB
32cmd /S /C .\vs2017.exe --add2.31 GB
33cmd /S /C del vs2017.exe517.83 KB
34powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
35powershell -Command $ErrorActionPreference = 'Stop';580.25 KB
36powershell -Command $ErrorActionPreference = 'Stop';574.17 KB
37powershell -Command $ErrorActionPreference = 'Stop';1.37 KB
38powershell -Command $ErrorActionPreference = 'Stop';1.48 KB
39powershell -Command $ErrorActionPreference = 'Stop';11.75 KB
40powershell -Command $ErrorActionPreference = 'Stop';91.2 MB
41powershell -Command $ErrorActionPreference = 'Stop';930.38 KB
42powershell -Command $ErrorActionPreference = 'Stop';1.89 KB
43powershell -Command $ErrorActionPreference = 'Stop';639.37 MB
44powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
45powershell -Command $ErrorActionPreference = 'Stop';154.4 MB
46powershell -Command $ErrorActionPreference = 'Stop';1.04 MB
47powershell -Command $ErrorActionPreference = 'Stop';2.77 MB
48powershell -Command $ErrorActionPreference = 'Stop';140.66 MB
49powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
50powershell -Command $ErrorActionPreference = 'Stop';1.17 MB
51powershell -Command $ErrorActionPreference = 'Stop';1.17 MB
52powershell -Command $ErrorActionPreference = 'Stop';1.19 MB
53powershell -Command $ErrorActionPreference = 'Stop';2.31 MB
54powershell -Command $ErrorActionPreference = 'Stop';1.88 KB
55powershell -Command $ErrorActionPreference = 'Stop';1.64 KB
56powershell -Command $ErrorActionPreference = 'Stop';2.97 GB
57powershell -Command $ErrorActionPreference = 'Stop';1.59 MB
58powershell -Command $ErrorActionPreference = 'Stop';1.59 MB
59powershell -Command $ErrorActionPreference = 'Stop';1.6 KB
60powershell -Command $ErrorActionPreference = 'Stop';1.59 MB
61powershell -Command $ErrorActionPreference = 'Stop';1.6 MB
62powershell -Command $ErrorActionPreference = 'Stop';1.61 MB
63powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
64powershell -Command $ErrorActionPreference = 'Stop';7.73 KB
65powershell -Command $ErrorActionPreference = 'Stop';1.23 KB
66powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
67powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
68powershell -Command $ErrorActionPreference = 'Stop';1.12 KB
69powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
70powershell -Command $ErrorActionPreference = 'Stop';1.11 KB
71powershell -Command $ErrorActionPreference = 'Stop';1.45 KB
72powershell -Command $ErrorActionPreference = 'Stop';2.91 KB
73powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
74|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.58 MB
75powershell -Command $ErrorActionPreference = 'Stop';1.43 KB
76powershell -Command $ErrorActionPreference = 'Stop';654.84 MB
77|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.62 MB
78|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.6 MB
79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.62 MB
80|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.63 MB
81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.63 MB
82powershell -Command $ErrorActionPreference = 'Stop';1.04 KB
83powershell -Command $ErrorActionPreference = 'Stop';5.21 KB
84powershell -Command $ErrorActionPreference = 'Stop';2.07 KB
85|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.69 GB
86|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.82 MB
87powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
88powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
89powershell -Command $ErrorActionPreference = 'Stop';1.1 KB
90powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
91powershell -Command $ErrorActionPreference = 'Stop';1.42 KB
92powershell -Command $ErrorActionPreference = 'Stop';2.93 KB
93powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
94|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.8 MB
95|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.8 MB
96|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.84 MB
97|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.82 MB
98|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.83 MB
99|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.86 MB
100|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.87 MB
101|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.85 MB
102powershell -Command $ErrorActionPreference = 'Stop';5.2 KB
103powershell -Command $ErrorActionPreference = 'Stop';2.08 KB
104|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=242.29 GB
105|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.95 MB

Command

Apply image 1809-RTM-amd64