<commit_before>#!/usr/bin/env bash

if grep -q -F "is_a_released_version = False" ../config/coq_config.py; then
    echo "This is not a released version: nothing to test."
    exit 0
fi

for d in ../doc/changelog/*; do
  if [ -d "$d" ]; then
    files=("$d"/*.rst)
    if [ "${#files[@]}" != 1 ]; then
      echo "Fatal: unreleased changelog entries remain in ${d#../}/"
      echo "Include them in doc/sphinx/changes.rst and remove them from doc/changelog/"
      exit 1
    fi
  fi
done
<commit_msg>Fix coq_config.py detection when running test suite with autoconfigured Coq<commit_after>#!/usr/bin/env bash

found=
for config in ../config/coq_config.py ../_build/default/config/coq_config.py; do
    if [ -f "$config" ]; then found=1; break; fi
done
if ! [[ "$found" ]]; then
    echo "Could not find coq_config.py"
    exit 1
fi

if grep -q -F "is_a_released_version = False" "$config"; then
    echo "This is not a released version: nothing to test."
    exit 0
fi

for d in ../doc/changelog/*; do
  if [ -d "$d" ]; then
    files=("$d"/*.rst)
    if [ "${#files[@]}" != 1 ]; then
      echo "Fatal: unreleased changelog entries remain in ${d#../}/"
      echo "Include them in doc/sphinx/changes.rst and remove them from doc/changelog/"
      exit 1
    fi
  fi
done

{'fraction_non_alphanumeric': 0.15003927729772193, 'fraction_numerical': 0.006284367635506678, 'mean_word_length': 2.7470588235294118, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '2240993', 'n_tokens_mistral': 475, 'n_tokens_neox': 448, 'n_words': 155}