<commit_before># This is a basic workflow to help you get started with Actions

name: DOC

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2
    - uses: avsm/setup-ocaml@v1
      with:
        ocaml-version: 4.07.1
    - run: |
        export OPAMYES=y
        opam repo add coq https://coq.inria.fr/opam/released
        opam update
        opam install coq-serapi .
        sudo apt-get update
        sudo apt-get install python3-pip -y
        pip3 install alectryon
        make doc COQ_ELPI_INSTALLED=1
    - uses: JamesIves/github-pages-deploy-action@4.1.4
      if: ${{ github.ref = 'refs/heads/master' }}
      with:
        branch: gh-pages
        folder: doc<commit_msg>opamyes<commit_after># This is a basic workflow to help you get started with Actions

name: DOC

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2
    - uses: avsm/setup-ocaml@v1
      with:
        ocaml-version: 4.07.1
    - run: |
        export OPAMYES=true
        opam repo add coq https://coq.inria.fr/opam/released
        opam update
        opam install coq-serapi .
        sudo apt-get update
        sudo apt-get install python3-pip -y
        pip3 install alectryon
        make doc COQ_ELPI_INSTALLED=1
    - uses: JamesIves/github-pages-deploy-action@4.1.4
      if: ${{ github.ref = 'refs/heads/master' }}
      with:
        branch: gh-pages
        folder: doc
{'fraction_non_alphanumeric': 0.08719346049046321, 'fraction_numerical': 0.013079019073569483, 'mean_word_length': 2.1819757365684573, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, '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': '3482421', 'n_tokens_mistral': 637, 'n_tokens_neox': 600, 'n_words': 183}