Skip to content

rename-wells CLI utility (#232) #84

rename-wells CLI utility (#232)

rename-wells CLI utility (#232) #84

Workflow file for this run

name: documentation
on:
push:
branches: ["main"]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Setup Pages
id: pages
uses: actions/configure-pages@v3
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install ".[doc]"
- name: Set environment
run: |
REPO_OWNER="${GITHUB_REPOSITORY%%/*}"
REPO_NAME="${GITHUB_REPOSITORY#*/}"
echo "GITHUB_PAGES_URL=https://$REPO_OWNER.github.io/$REPO_NAME" >> $GITHUB_ENV
- name: Build the docs
working-directory: ./docs
run: |
echo $GITHUB_PAGES_URL
make publish
touch build/html/.nojekyll
- name: Upload build artifacts
uses: actions/upload-pages-artifact@v1
with:
path: "./docs/build/html"
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v1