<commit_before># Fstar build container
FROM everest_windows_base_image:1

ARG BUILDLOGFILE
ARG MAXTHREADS
ARG TARGET

#USER "NT AUTHORITY\SYSTEM"

#BUILD FSTAR
RUN md ${MYHOME}\FStar
COPY / ${MYHOME}/FStar/
WORKDIR ${MYHOME}/FStar

RUN echo $(date -u '+%Y-%m-%d %H:%M:%S') >> ${BUILDLOGFILE}
COPY build_fstar_with_regressions.sh ${MYHOME}/FStar/build_fstar_with_regressions.sh
RUN c:\Cygwin64\bin\bash.exe --login -c "cd FStar && ./build_fstar_with_regressions.sh ${TARGET} ${BUILDLOGFILE} ${MAXTHREADS}"

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

# Generate query-stats.
# List the hints that fail to replay.
RUN c:\Cygwin64\bin\bash.exe --login -c "cd FStar && .scripts/query-stats.py -f ${BUILDLOGFILE} -F html -o log_no_replay.html -n all '--filter=fstar_usedhints=+' '--filter=fstar_tag=-' -g"

# Worst offenders (longest times)
RUN c:\Cygwin64\bin\bash.exe --login -c "cd FStar && .scripts/query-stats.py -f ${BUILDLOGFILE} -F html -o log_worst.html -c -g -n 10"<commit_msg>FStar CI builds on Windows<commit_after># Fstar build container
FROM everest_windows_base_image:1

ARG BUILDLOGFILE
ARG MAXTHREADS
ARG TARGET

#USER "NT AUTHORITY\SYSTEM"

#BUILD FSTAR
RUN md ${MYHOME}\FStar
COPY / ${MYHOME}/FStar/
WORKDIR ${MYHOME}/FStar

RUN echo %DATE% %TIME% >> %BUILDLOGFILE%
COPY build_fstar_with_regressions.sh ${MYHOME}/FStar/build_fstar_with_regressions.sh
RUN powershell.exe c:\ewerest\bash.ps1 ./build_fstar_with_regressions.sh %TARGET% %BUILDLOGFILE% %MAXTHREADS%

RUN echo %DATE% %TIME% >> %BUILDLOGFILE%

# Generate query-stats.
# List the hints that fail to replay.
RUN powershell.exe c:\ewerest\bash.ps1 .scripts/query-stats.py -f %BUILDLOGFILE% -F html -o log_no_replay.html -n all '--filter=fstar_usedhints=+' '--filter=fstar_tag=-' -g

# Worst offenders (longest times)
RUN powershell.exe c:\ewerest\bash.ps1 .scripts/query-stats.py -f %BUILDLOGFILE% -F html -o log_worst.html -c -g -n 10
{'fraction_non_alphanumeric': 0.15080603224128966, 'fraction_numerical': 0.0078003120124804995, 'mean_word_length': 4.658823529411765, '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': '6590420', 'n_tokens_mistral': 773, 'n_tokens_neox': 766, 'n_words': 188}