<commit_before># When changes are pushed to the develop branch,
# build the current version of the docs and
# deploy to gh-pages so that our development
# docs are always up to date.
name: "Update development docs"

on:
  push:
    branches:
      - 'develop'
    paths:
      - 'user_guide_src/**'

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout
        uses: actions/checkout@v2

      - name: Build docs
        uses: ammaraskar/sphinx-action@master
        with:
          docs-folder: "user_guide_src/"

      - name: Commit documentation changes
        run: |
          git clone https://github.com/codeigniter4/CodeIgniter4.git --branch gh-pages --single-branch gh-pages
          cp -r user_guide_src/_build/html/* gh-pages/
          cd gh-pages
          git config --local user.email "<EMAIL>"
          git config --local user.name "${GITHUB_ACTOR}"
          git add .
          git commit -m "Update documentation" -a || true
          # The above command will fail if no changes were present, so we ignore
          # that.

      - name: Push changes
        uses: ad-m/github-push-action@master
        with:
          branch: gh-pages
          directory: gh-pages
          github_token: ${{ secrets.ACCESS_TOKEN }}<commit_msg>Trying to fix the nightly docs action again.<commit_after># When changes are pushed to the develop branch,
# build the current version of the docs and
# deploy to gh-pages so that our development
# docs are always up to date.
name: "Update development docs"

on:
  push:
    branches:
      - 'develop'
    paths:
      - 'user_guide_src/**'

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2

    # Build the current docs
    - uses: ammaraskar/sphinx-action@master
      with:
        docs-folder: "user_guide_src/"

    # Commit changes to the gh-pages branch
    - name: Commit documentation changes
      run: |
        git clone https://github.com/codeigniter4/CodeIgniter4.git --branch gh-pages --single-branch gh-pages
        cp -r user_guide_src/_build/html/* gh-pages/
        cd gh-pages
        git config --local user.email "<EMAIL>"
        git config --local user.name "${GITHUB_ACTOR}"
        git add .
        git commit -m "Update documentation" -a || true
        # The above command will fail if no changes were present, so we ignore
        # that.

    - name: Push changes
      uses: ad-m/github-push-action@master
      with:
        branch: gh-pages
        directory: gh-pages
        github_token: ${{ secrets.ACCESS_TOKEN }}
{'fraction_non_alphanumeric': 0.09501557632398754, 'fraction_numerical': 0.002336448598130841, 'mean_word_length': 2.1215066828675577, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 2, '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': '6324692', 'n_tokens_mistral': 794, 'n_tokens_neox': 747, 'n_words': 252}