config=../tools/configure/configure.ml if ! [ -e "$config" ]; then echo"Could not find configure.ml"
exit 1 fi
if grep -q -F "is_a_released_version = true""$config"; then
: elif grep -q -F "is_a_released_version = false""$config"; then echo"This is not a released version: nothing to test."
exit 0 else echo"Could not find is_a_released_version setting"
exit 1 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
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet am 2026-06-04)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
