Skip to content

Merge pull request #752 from maresb/use-token-for-prs #327

Merge pull request #752 from maresb/use-token-for-prs

Merge pull request #752 from maresb/use-token-for-prs #327

Workflow file for this run

name: mkdocs
on:
push:
branches:
- main
# Default to bash in login mode; key to activating conda environment
# https://github.com/mamba-org/provision-with-micromamba#IMPORTANT
defaults:
run:
shell: "bash -l {0}"
permissions:
contents: write
pages: write
env:
MICROMAMBA_VERSION: 'latest'
jobs:
build:
name: Deploy docs
runs-on: ubuntu-latest
concurrency: ci-${{ github.ref }}
steps:
- uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4
with:
submodules: "recursive"
fetch-depth: 0 # Fetch all history for .GitInfo and .Lastmod
- name: Install dependencies
uses: "mamba-org/setup-micromamba@v2"
with:
micromamba-version: "${{ env.MICROMAMBA_VERSION }}"
environment-file: "environments/dev-environment.yaml"
cache-environment: true
- name: Install conda-lock
run: "pip install ."
- name: Build site
run: mkdocs build
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./site
user_name: 'github-actions[bot]'
user_email: 'github-actions[bot]@users.noreply.github.com'