Nevermind, it was not this change.

Author: edeiana

.github/workflows/ci-docs.yml

@@ -95,12 +95,9 @@ jobs:
       # We support setting the version and build for manual builds.
       # We only use a non-zero build # when making multiple manual builds in one day.
       run: |
-        echo "MAJOR_DOT_MINOR_VERSION_NUMBER=" >> $GITHUB_ENV
-        cat ${PATH_TO_VERSION_FILE} >> $GITHUB_ENV
-        #echo "EOF" >> $GITHUB_ENV
-        #echo "MAJOR_DOT_MINOR_VERSION_NUMBER=$(cat ${PATH_TO_VERSION_FILE})" >> $GITHUB_ENV
+        major_dot_minor_version_number="$(cat ${PATH_TO_VERSION_FILE})"
         if test -z "${{ github.event.inputs.version }}"; then
-          export VERSION_NUMBER=$MAJOR_DOT_MINOR_VERSION_NUMBER.$((`git log -n 1 --format=%ct` / (60*60*24)))
+          export VERSION_NUMBER=$major_dot_minor_version_number.$((`git log -n 1 --format=%ct` / (60*60*24)))
         else
           export VERSION_NUMBER=${{ github.event.inputs.version }}
         fi