Sign inSign up

projecteverest/fstar-binaries-windows-nt:176e49dc4c17

Manifest digest

sha256:ff3c585647947edb309abee957dfefabe263ba85793037bc90433029419f5a5c

OS/ARCH

windows/amd64

Compressed size

13.08 GB

Last pushed

almost 7 years by everbld

Type

Image

Manifest digest

sha256:ff3c585647947edb309abee957dfefabe263ba85793037bc90433029419f5a5c

Image Layers

1Apply image 1809-RTM-amd641.43 GB
2Install update ltsc2019-amd64635.74 MB
3cmd /S /C net user249.79 KB
4cmd /S /C net localgroup4.24 MB
5cmd /S /C #(nop) 1.09 KB
6cmd /S /C powershell -Command58.3 MB
7cmd /S /C #(nop) ADD49.21 MB
8cmd /S /C powershell.exe -Command48.92 MB
9cmd /S /C C:/PS6/pwsh.EXE -Command940.45 KB
10cmd /S /C #(nop) ADD3.1 MB
11cmd /S /C c:/PS6/pwsh.exe -Command3.48 MB
12cmd /S /C c:/PS6/pwsh.exe -Command332.5 KB
13cmd /S /C c:/PS6/pwsh.exe -Command317.58 KB
14cmd /S /C c:/PS6/pwsh.exe -Command342.06 KB
15cmd /S /C #(nop) COPY2.34 KB
16cmd /S /C #(nop) COPY1.53 KB
17cmd /S /C #(nop) COPY2.41 KB
18cmd /S /C #(nop) COPY1.56 KB
19cmd /S /C #(nop) WORKDIR1.07 KB
20cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t357.84 KB
21cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t361.99 KB
22cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t349.75 KB
23cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t364.61 KB
24cmd /S /C C:/PS6/pwsh.EXE -Command379.62 KB
25cmd /S /C C:/PS6/pwsh.EXE -Command409.32 KB
26cmd /S /C #(nop) WORKDIR1.3 KB
27cmd /S /C #(nop) COPY1.72 KB
28cmd /S /C powershell.exe -Command418.25 KB
29cmd /S /C powershell.exe -Command411.53 KB
30cmd /S /C powershell.exe -Command567.26 KB
31cmd /S /C #(nop) ADD1.1 MB
32cmd /S /C .\vs2017.exe --add2.31 GB
33cmd /S /C del vs2017.exe442.01 KB
34powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
35powershell -Command $ErrorActionPreference = 'Stop';490.79 KB
36powershell -Command $ErrorActionPreference = 'Stop';533.09 KB
37powershell -Command $ErrorActionPreference = 'Stop';1.41 KB
38powershell -Command $ErrorActionPreference = 'Stop';1.45 KB
39powershell -Command $ErrorActionPreference = 'Stop';11.82 KB
40powershell -Command $ErrorActionPreference = 'Stop';91.13 MB
41powershell -Command $ErrorActionPreference = 'Stop';871.37 KB
42powershell -Command $ErrorActionPreference = 'Stop';1.91 KB
43powershell -Command $ErrorActionPreference = 'Stop';638.89 MB
44powershell -Command $ErrorActionPreference = 'Stop';1.1 KB
45powershell -Command $ErrorActionPreference = 'Stop';95.97 MB
46powershell -Command $ErrorActionPreference = 'Stop';1 MB
47powershell -Command $ErrorActionPreference = 'Stop';2.7 MB
48powershell -Command $ErrorActionPreference = 'Stop';227.56 MB
49powershell -Command $ErrorActionPreference = 'Stop';1.11 KB
50powershell -Command $ErrorActionPreference = 'Stop';1.11 MB
51powershell -Command $ErrorActionPreference = 'Stop';1.16 MB
52powershell -Command $ErrorActionPreference = 'Stop';1.16 MB
53powershell -Command $ErrorActionPreference = 'Stop';2.23 MB
54powershell -Command $ErrorActionPreference = 'Stop';1.71 KB
55powershell -Command $ErrorActionPreference = 'Stop';1.64 KB
56powershell -Command $ErrorActionPreference = 'Stop';2.97 GB
57powershell -Command $ErrorActionPreference = 'Stop';1.52 MB
58powershell -Command $ErrorActionPreference = 'Stop';1.53 MB
59powershell -Command $ErrorActionPreference = 'Stop';1.63 KB
60powershell -Command $ErrorActionPreference = 'Stop';1.55 MB
61powershell -Command $ErrorActionPreference = 'Stop';1.56 MB
62powershell -Command $ErrorActionPreference = 'Stop';1.56 MB
63powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
64powershell -Command $ErrorActionPreference = 'Stop';7.68 KB
65powershell -Command $ErrorActionPreference = 'Stop';1.24 KB
66powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
67powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
68powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
69powershell -Command $ErrorActionPreference = 'Stop';1.05 KB
70powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
71powershell -Command $ErrorActionPreference = 'Stop';1.41 KB
72powershell -Command $ErrorActionPreference = 'Stop';2.89 KB
73powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
74|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.53 MB
75powershell -Command $ErrorActionPreference = 'Stop';1.41 KB
76powershell -Command $ErrorActionPreference = 'Stop';631.01 MB
77|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.56 MB
78|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.57 MB
79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.58 MB
80|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.6 MB
81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.6 MB
82powershell -Command $ErrorActionPreference = 'Stop';1.05 KB
83powershell -Command $ErrorActionPreference = 'Stop';5.3 KB
84powershell -Command $ErrorActionPreference = 'Stop';2.05 KB
85|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.63 GB
86|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.81 MB
87powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
88powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
89powershell -Command $ErrorActionPreference = 'Stop';1.05 KB
90powershell -Command $ErrorActionPreference = 'Stop';1.05 KB
91powershell -Command $ErrorActionPreference = 'Stop';1.4 KB
92powershell -Command $ErrorActionPreference = 'Stop';2.91 KB
93powershell -Command $ErrorActionPreference = 'Stop';1.05 KB
94|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.81 MB
95|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.83 MB
96|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.83 MB
97|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.83 MB
98|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.84 MB
99|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.85 MB
100|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.85 MB
101|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.86 MB
102powershell -Command $ErrorActionPreference = 'Stop';5.22 KB
103powershell -Command $ErrorActionPreference = 'Stop';2.04 KB
104|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=242.27 GB
105|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=fstar-binary-build MAXTHREADS=241.94 MB

Command

Apply image 1809-RTM-amd64