<commit_before># Fstar docs container used to build fstar documentation.
# Docs should always use the latest fstar image available.
FROM fstar:latest

ARG BUILDLOGFILE
ARG MAXTHREADS
ARG TARGET

#BUILD FSTAR Docs
RUN rm -f ${BUILDLOGFILE}
RUN rm -f log_no_replay.html
RUN rm -f log_worst.html
RUN rm -f orange_status.txt
RUN rm -f result.txt
RUN rm -f status.txt
RUN rm -f commitinfofilename.json

WORKDIR ${MYHOME}/FStar

#TODO ADD SSH KEY
#TODO REMOVE SSH KEY

RUN echo $(date -u '+%Y-%m-%d %H:%M:%S') >> ${BUILDLOGFILE}
COPY --chown=everest build_fstar.sh ${MYHOME}/FStar/build_fstar.sh
RUN chmod +x build_fstar.sh
COPY --chown=everest build.sh ${MYHOME}/FStar/build.sh
RUN chmod +x build.sh
RUN ./build.sh ${TARGET} ${BUILDLOGFILE} ${MAXTHREADS} || true

RUN echo $(date -u '+%Y-%m-%d %H:%M:%S') >> ${BUILDLOGFILE}<commit_msg>adding ssh-key to fstar-doc container<commit_after># Fstar docs container used to build fstar documentation.
# Docs should always use the latest fstar image available.
FROM fstar:latest

ARG BUILDLOGFILE
ARG MAXTHREADS
ARG TARGET

#BUILD FSTAR Docs
RUN rm -f ${BUILDLOGFILE}
RUN rm -f log_no_replay.html
RUN rm -f log_worst.html
RUN rm -f orange_status.txt
RUN rm -f result.txt
RUN rm -f status.txt
RUN rm -f commitinfofilename.json

WORKDIR ${MYHOME}/FStar

# ADD SSH KEY
RUN eval $(ssh-agent)
COPY --chown=everest /home/builder/everbld-ssh-privatekey/id_rsa ${MYHOME}/id_rsa
RUN ssh-add -k ${MYHOME}/id_rsa
RUN rm ${MYHOME}/id_rsa

# Build FStar docs
RUN echo $(date -u '+%Y-%m-%d %H:%M:%S') >> ${BUILDLOGFILE}
COPY --chown=everest build_fstar.sh ${MYHOME}/FStar/build_fstar.sh
RUN chmod +x build_fstar.sh
COPY --chown=everest build.sh ${MYHOME}/FStar/build.sh
RUN chmod +x build.sh
RUN ./build.sh ${TARGET} ${BUILDLOGFILE} ${MAXTHREADS} || true

RUN echo $(date -u '+%Y-%m-%d %H:%M:%S') >> ${BUILDLOGFILE}

# Remove ssh identities.
RUN ssh-add -D
{'fraction_non_alphanumeric': 0.1378392762107504, 'fraction_numerical': 0.0, 'mean_word_length': 4.402298850574713, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 11, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4804757', 'n_tokens_mistral': 724, 'n_tokens_neox': 730, 'n_words': 227}