sha256:a5f4cd035f1fd7ad1a7b6b2787fe0d61a17bfccc19e96fbac6c4cb88649e7e39
OS/ARCH
linux/amd64
Compressed size
6.11 GB
Last pushed
almost 7 years by everbld
Type
Image
Manifest digest
sha256:a5f4cd035f1fd7ad1a7b6b2787fe0d61a17bfccc19e96fbac6c4cb88649e7e39
Image Layers
1ADD file ... in / 42.1 MB2/bin/sh -c rm -rf /var/lib/apt/lists/*529 B3/bin/sh -c set -xe &&846 B4/bin/sh -c mkdir -p /run/systemd168 B5CMD ["/bin/bash"]0 B6/bin/sh -c echo 'deb http://mirror.pnl.gov/ubuntu/877 B7/bin/sh -c echo "deb http://mirror.math.ucdavis.edu/ubuntu/892 B8/bin/sh -c echo "Acquire::Retries \"16\";"209 B9/bin/sh -c apt-get --yes update21.88 MB10/bin/sh -c apt-get install --no-install-recommends23.91 MB11/bin/sh -c add-apt-repository ppa:ubuntu-toolchain-r/test6.75 KB12/bin/sh -c apt-get --yes update458.49 KB13/bin/sh -c curl -sL https://deb.nodesource.com/setup_6.x615.45 KB14/bin/sh -c add-apt-repository ppa:deadsnakes/ppa2.58 KB15/bin/sh -c apt-get --yes update376.27 KB16/bin/sh -c until apt-get install330.38 MB17/bin/sh -c pip3 install sphinx==1.7.239.64 MB18/bin/sh -c wget https://downloads.sourceforge.net/project/scons/scons/3.0.1/scons-3.0.1.tar.gz620.06 KB19/bin/sh -c tar xf scons-3.0.1.tar.gz626.33 KB20WORKDIR /scons-3.0.10 B21/bin/sh -c python3.6 setup.py install1.42 MB22WORKDIR /0 B23/bin/sh -c curl -sL https://deb.nodesource.com/setup_9.x332.62 KB24/bin/sh -c apt-get install -y18.87 MB25/bin/sh -c npm install -g17.34 MB26/bin/sh -c npm install -g4.85 MB27/bin/sh -c npm install madoko1.68 MB28/bin/sh -c npm install http-server2.06 MB29/bin/sh -c mkdir /var/run/sshd111 B30/bin/sh -c echo root:Docker! |418 B31/bin/sh -c sed -i 's/PermitRootLogin1.28 KB32/bin/sh -c sed 's@session\s*required\s*pam_loginuid.so@session optional1.01 KB33/bin/sh -c sed -i 's/PermitRootLogin1.28 KB34/bin/sh -c service ssh start0 B35ENV MYHOME=/home/everest0 B36/bin/sh -c useradd --shell /bin/bash4.57 KB37/bin/sh -c echo "everest ALL=(ALL:ALL)539 B38/bin/sh -c echo everest:Docker! |504 B39/bin/bash --login -c #(nop) 0 B40/bin/bash --login -c #(nop) 0 B41/bin/bash --login -c #(nop) WORKDIR0 B42/bin/bash --login -c #(nop) 0 B43/bin/bash --login -c #(nop) 0 B44/bin/bash --login -c opam init87.15 MB45/bin/bash --login -c git config203 B46/bin/bash --login -c git config228 B47/bin/bash --login -c git clone1.49 MB48/bin/bash --login -c rm -rf0 B49/bin/bash --login -c #(nop) 0 B50/bin/bash --login -c ./everest/everest --yes2.13 GB51/bin/bash --login -c eval $(opam0 B52/bin/bash --login -c echo "echo1.91 KB53/bin/bash --login -c #(nop) 0 B54/bin/bash --login -c #(nop) WORKDIR0 B55/bin/bash --login -c #(nop) COPY295 B56/bin/bash --login -c #(nop) COPY1.06 KB57/bin/bash --login -c #(nop) COPY6.11 KB58/bin/bash --login -c #(nop) ADD332 B59/bin/bash --login -c sudo chmod331 B60/bin/bash --login -c #(nop) 0 B61/bin/bash --login -c #(nop) 0 B62/bin/bash --login -c #(nop) 0 B63/bin/bash --login -c #(nop) 0 B64/bin/bash --login -c #(nop) 0 B65|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=480 B66|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48150 B67|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48150 B68/bin/bash --login -c #(nop) COPY1.46 KB69|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=481.46 KB70|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48149 B71/bin/bash --login -c #(nop) COPY910.91 MB72/bin/bash --login -c #(nop) WORKDIR0 B73|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48192 B74|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48188 B75|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48194 B76|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48189 B77|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48201 B78/bin/bash --login -c #(nop) COPY3.72 KB79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=483.72 KB80/bin/bash --login -c #(nop) COPY708 B81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48705 B82|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=481.06 GB83|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48187 B84/bin/bash --login -c #(nop) 0 B85/bin/bash --login -c #(nop) 0 B86/bin/bash --login -c #(nop) 0 B87/bin/bash --login -c #(nop) 0 B88|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=480 B89|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48151 B90|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48151 B91/bin/bash --login -c #(nop) COPY1.46 KB92|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=481.46 KB93|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48149 B94/bin/bash --login -c #(nop) COPY717.36 MB95|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48163 B96|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48170 B97|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48171 B98|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48173 B99|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48168 B100|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=480 B101|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48166 B102|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48164 B103|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=480 B104|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48191 B105|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48189 B106|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48194 B107|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48188 B108|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48199 B109/bin/bash --login -c #(nop) COPY2.65 KB110|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=482.65 KB111/bin/bash --login -c #(nop) COPY619 B112|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48616 B113|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48630.11 MB114|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48183 B115/bin/bash --login -c #(nop) 0 B116/bin/bash --login -c #(nop) 0 B117/bin/bash --login -c #(nop) 0 B118/bin/bash --login -c #(nop) 0 B119|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=480 B120|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48149 B121|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48149 B122/bin/bash --login -c #(nop) COPY1.46 KB123|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=481.46 KB124|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48155 B125/bin/bash --login -c #(nop) COPY21.88 MB126|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48165 B127|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48172 B128|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48172 B129|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48174 B130|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48170 B131|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=480 B132|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48167 B133|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48166 B134|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=480 B135|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48198 B136|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48196 B137|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48201 B138|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48194 B139|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48205 B140/bin/bash --login -c #(nop) COPY1001 B141|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48999 B142/bin/bash --login -c #(nop) COPY775 B143|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48772 B144|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48110.07 MB145|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48186 BCommand
ADD file:4eb02fc768cad452a37e8df30bbfcc728f3e6e7ca33af177fd4de06fd07c2098 in /