sha256:cf9504e3b0689cdb47d2a873a2e527a322092ee0dbf66c3377fd4fd7fca44239
OS/ARCH
linux/amd64
Compressed size
6.08 GB
Last pushed
almost 7 years by everbld
Type
Image
Manifest digest
sha256:cf9504e3b0689cdb47d2a873a2e527a322092ee0dbf66c3377fd4fd7fca44239
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/876 B7/bin/sh -c echo "deb http://mirror.math.ucdavis.edu/ubuntu/888 B8/bin/sh -c echo "Acquire::Retries \"16\";"204 B9/bin/sh -c apt-get --yes update21.85 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.4 KB13/bin/sh -c curl -sL https://deb.nodesource.com/setup_6.x615.39 KB14/bin/sh -c add-apt-repository ppa:deadsnakes/ppa2.58 KB15/bin/sh -c apt-get --yes update376.2 KB16/bin/sh -c until apt-get install330.37 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.59 KB24/bin/sh -c apt-get install -y18.87 MB25/bin/sh -c npm install -g17.34 MB26/bin/sh -c npm install -g4.84 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! |419 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.58 KB37/bin/sh -c echo "everest ALL=(ALL:ALL)540 B38/bin/sh -c echo everest:Docker! |507 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.14 MB45/bin/bash --login -c git config204 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) COPY292 B56/bin/bash --login -c #(nop) COPY1.06 KB57/bin/bash --login -c #(nop) COPY6.11 KB58/bin/bash --login -c #(nop) ADD333 B59/bin/bash --login -c sudo chmod332 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=48148 B71/bin/bash --login -c #(nop) COPY914.51 MB72/bin/bash --login -c #(nop) WORKDIR0 B73|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48194 B74|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48191 B75|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48196 B76|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48189 B77|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48202 B78/bin/bash --login -c #(nop) COPY3.75 KB79|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=483.75 KB80/bin/bash --login -c #(nop) COPY706 B81|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48704 B82|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=481.05 GB83|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=uregressions MAXTHREADS=48186 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=48149 B90|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48149 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=48151 B94/bin/bash --login -c #(nop) COPY703.8 MB95|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48165 B96|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48171 B97|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48172 B98|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48174 B99|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48170 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=48165 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=48188 B106|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48196 B107|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48187 B108|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48197 B109/bin/bash --login -c #(nop) COPY2.55 KB110|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=482.54 KB111/bin/bash --login -c #(nop) COPY621 B112|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48618 B113|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48627.32 MB114|4 BRANCHNAME=fstar-master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=hacl-ci MAXTHREADS=48186 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=48150 B121|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48150 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=48156 B125/bin/bash --login -c #(nop) COPY17.23 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=48173 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=48175 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=48166 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=48192 B137|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48202 B138|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48193 B139|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48207 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=48108.33 MB145|4 BRANCHNAME=master BUILDLOGFILE=buildlogfile.txt BUILDTARGET=everquic_crypto_test MAXTHREADS=48186 BCommand
ADD file:4eb02fc768cad452a37e8df30bbfcc728f3e6e7ca33af177fd4de06fd07c2098 in /