Fix deploy of docs #52
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build and Deploy Docs | |
| on: | |
| push: | |
| branches: | |
| - main | |
| - dev | |
| tags: | |
| - '*' | |
| jobs: | |
| build-and-deploy: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Code | |
| uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - name: Set up Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: '3.11' | |
| - name: Setup Graphviz | |
| uses: ts-graphviz/setup-graphviz@v2 | |
| - name: Install Dependencies | |
| run: | | |
| pip install poetry | |
| poetry install | |
| - name: Build Docs with sphinx-multiversion | |
| run: | | |
| poetry run sphinx-multiversion docs docs/_build/html | |
| - name: Create Redirection HTML | |
| run: | | |
| echo '<meta http-equiv="refresh" content="0; URL='https://saezlab.github.io/corneto/main'" />' > docs/_build/html/index.html | |
| - name: Prepare Deployment | |
| run: | | |
| touch ./docs/_build/html/.nojekyll | |
| git config --local user.email "[email protected]" | |
| git config --local user.name "GitHub Action" | |
| - name: Deploy to GitHub Pages | |
| run: | | |
| git config --local user.email "[email protected]" | |
| git config --local user.name "GitHub Action" | |
| # Create a temporary directory | |
| TEMP_DIR=$(mktemp -d) | |
| echo "Temporary directory is $TEMP_DIR" | |
| # Build and prepare all the files first | |
| mkdir -p "$TEMP_DIR/$BRANCH_NAME" | |
| cp -r "docs/_build/html/." "$TEMP_DIR/$BRANCH_NAME/" | |
| # Now checkout to gh-pages | |
| git fetch origin gh-pages | |
| git checkout gh-pages || git checkout --orphan gh-pages | |
| # Clean existing files for the branch and copy new ones | |
| rm -rf "./$BRANCH_NAME" | |
| cp -r "$TEMP_DIR/$BRANCH_NAME/." "./$BRANCH_NAME/" | |
| # Adding changes to git | |
| git add . | |
| git commit -m "Update docs for branch $BRANCH_NAME" --allow-empty | |
| git push -u origin gh-pages | |
| # Optionally, remove the temporary directory (not necessary on CI environments) | |
| # rm -rf "$TEMP_DIR" | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |