From 2d7d271d5928508ed6f2af75fce2a6fb37011b87 Mon Sep 17 00:00:00 2001 From: Pierrot Date: Tue, 19 Sep 2023 11:37:06 +0200 Subject: [PATCH] Deploy the documentation of the main branch (#818) * Deploy the documentation of the main branch * Correct spelling --- .github/workflows/documentation.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index b9c146420..3dabc0ef5 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -19,7 +19,7 @@ env: jobs: # For any push and PR, build the documentation from the ocaml comments # If this build fails, the documentation workflow stops - # If it succed, an artifact is made with the generated documentation + # If it succeeds, an artifact is made with the generated documentation # (html format only). This artifact is used in the deploying job ocaml_docs: name: OCaml documentation @@ -95,7 +95,7 @@ jobs: # On PR, or push on next/main, build the sphinx general documentation # If this build fails, the documentation workflow stops - # If it succed, an artifact is made with the generated documentation + # If it succeeds, an artifact is made with the generated documentation # This artifact is used in the deploying job sphinx_docs: name: Sphinx documentation @@ -130,12 +130,12 @@ jobs: path: docs/sphinx_docs/_build - # For every push on next, retrieve ocaml and sphinx documentation + # For every push on main, retrieve ocaml and sphinx documentation # and publish them on gh-pages branch deploy_docs: name: Deploy documentation - if: github.ref == 'refs/heads/next' + if: github.ref == 'refs/heads/main' needs: - ocaml_docs