Sign inSign up

projecteverest/fstar-windows-nt:a523e394f345

Manifest digest

sha256:bea18cd1936b725f418910c4cd725348db047a10619590bf49650994ab951b40

OS/ARCH

windows/amd64

Compressed size

10.57 GB

Last pushed

over 6 years by everbld

Type

Image

Manifest digest

sha256:bea18cd1936b725f418910c4cd725348db047a10619590bf49650994ab951b40

Image Layers

1Apply image ltsc2019-amd641.6 GB
2cmd /S /C net user273.52 KB
3cmd /S /C net localgroup272.6 KB
4cmd /S /C wmic useraccount4.45 MB
5cmd /S /C #(nop) 1.06 KB
6cmd /S /C powershell -Command62.8 MB
7cmd /S /C #(nop) ADD49.21 MB
8cmd /S /C powershell.exe -Command48.99 MB
9cmd /S /C C:/PS6/pwsh.EXE -Command994.86 KB
10cmd /S /C #(nop) ADD3.1 MB
11cmd /S /C c:/PS6/pwsh.exe -Command3.51 MB
12cmd /S /C c:/PS6/pwsh.exe -Command374.04 KB
13cmd /S /C c:/PS6/pwsh.exe -Command383.79 KB
14cmd /S /C c:/PS6/pwsh.exe -Command408.94 KB
15cmd /S /C #(nop) COPY2.37 KB
16cmd /S /C #(nop) COPY1.55 KB
17cmd /S /C #(nop) COPY2.42 KB
18cmd /S /C #(nop) COPY1.6 KB
19cmd /S /C #(nop) WORKDIR1.09 KB
20cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t409.01 KB
21cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t410.86 KB
22cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t401.74 KB
23cmd /S /C c:/OpenSSH-Win64/ssh-keygen.exe -t401.81 KB
24cmd /S /C C:/PS6/pwsh.EXE -Command432.46 KB
25cmd /S /C C:/PS6/pwsh.EXE -Command453.09 KB
26cmd /S /C #(nop) WORKDIR1.32 KB
27cmd /S /C #(nop) COPY1.74 KB
28cmd /S /C powershell.exe -Command463.34 KB
29cmd /S /C powershell.exe -Command469.41 KB
30cmd /S /C powershell.exe -Command612.53 KB
31cmd /S /C #(nop) ADD1.08 MB
32cmd /S /C .\vs2017.exe --add2.31 GB
33cmd /S /C del vs2017.exe450.52 KB
34powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
35powershell -Command $ErrorActionPreference = 'Stop';502.37 KB
36powershell -Command $ErrorActionPreference = 'Stop';534.73 KB
37powershell -Command $ErrorActionPreference = 'Stop';1.41 KB
38powershell -Command $ErrorActionPreference = 'Stop';1.48 KB
39powershell -Command $ErrorActionPreference = 'Stop';11.85 KB
40powershell -Command $ErrorActionPreference = 'Stop';91.86 MB
41powershell -Command $ErrorActionPreference = 'Stop';874.04 KB
42powershell -Command $ErrorActionPreference = 'Stop';1.91 KB
43powershell -Command $ErrorActionPreference = 'Stop';781.6 MB
44powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
45powershell -Command $ErrorActionPreference = 'Stop';163.5 MB
46powershell -Command $ErrorActionPreference = 'Stop';1007.54 KB
47powershell -Command $ErrorActionPreference = 'Stop';2.86 MB
48powershell -Command $ErrorActionPreference = 'Stop';4.75 MB
49powershell -Command $ErrorActionPreference = 'Stop';142.18 MB
50powershell -Command $ErrorActionPreference = 'Stop';1.11 KB
51powershell -Command $ErrorActionPreference = 'Stop';1.15 MB
52powershell -Command $ErrorActionPreference = 'Stop';1.14 MB
53powershell -Command $ErrorActionPreference = 'Stop';1.16 MB
54powershell -Command $ErrorActionPreference = 'Stop';2.47 MB
55powershell -Command $ErrorActionPreference = 'Stop';1.87 KB
56powershell -Command $ErrorActionPreference = 'Stop';1.64 KB
57powershell -Command $ErrorActionPreference = 'Stop';3.05 GB
58powershell -Command $ErrorActionPreference = 'Stop';1.38 MB
59powershell -Command $ErrorActionPreference = 'Stop';1.39 MB
60powershell -Command $ErrorActionPreference = 'Stop';1.61 KB
61powershell -Command $ErrorActionPreference = 'Stop';1.4 MB
62powershell -Command $ErrorActionPreference = 'Stop';1.41 MB
63powershell -Command $ErrorActionPreference = 'Stop';1.41 MB
64powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
65powershell -Command $ErrorActionPreference = 'Stop';7.97 KB
66powershell -Command $ErrorActionPreference = 'Stop';1.26 KB
67powershell -Command $ErrorActionPreference = 'Stop';1.09 KB
68powershell -Command $ErrorActionPreference = 'Stop';1.06 KB
69powershell -Command $ErrorActionPreference = 'Stop';1.08 KB
70powershell -Command $ErrorActionPreference = 'Stop';1.08 KB
71powershell -Command $ErrorActionPreference = 'Stop';1.08 KB
72powershell -Command $ErrorActionPreference = 'Stop';1.43 KB
73powershell -Command $ErrorActionPreference = 'Stop';2.97 KB
74powershell -Command $ErrorActionPreference = 'Stop';1.1 KB
75|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.47 MB
76powershell -Command $ErrorActionPreference = 'Stop';1.45 KB
77powershell -Command $ErrorActionPreference = 'Stop';682.96 MB
78|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.48 MB
79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.49 MB
80|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.49 MB
81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.49 MB
82|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.51 MB
83powershell -Command $ErrorActionPreference = 'Stop';1.07 KB
84powershell -Command $ErrorActionPreference = 'Stop';5.25 KB
85powershell -Command $ErrorActionPreference = 'Stop';2.04 KB
86|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.58 GB
87|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions-ulong MAXTHREADS=241.77 MB

Command

Apply image ltsc2019-amd64