Skip to content

fix: Clean up manager creation to avoid NPEs during background start #2153

fix: Clean up manager creation to avoid NPEs during background start

fix: Clean up manager creation to avoid NPEs during background start #2153

Workflow file for this run

name: Docs Site
on:
push:
branches:
- main
pull_request:
release:
types: [released]
jobs:
build:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout source
uses: actions/checkout@v3
with:
fetch-depth: 0
- name: Setup Docs Deploy
run: |
git config --global user.name "GitHub Actions"
git config --global user.email "noreply@github.com"
- name: Get the latest tag
run: |
git fetch --tags
latest_tag=$(git tag -l | sort -V | tail -n 1)
echo "latest tag: $latest_tag"
echo "LATEST_TAG=$latest_tag" >> $GITHUB_ENV
- name: Install docs dependencies
working-directory: doc-site
run: pip install -r requirements.txt
- name: Update doc site for release
if: github.event.action == 'released' && github.ref_name != env.LATEST_TAG
working-directory: doc-site
run: mike deploy ${{ github.event.release.tag_name }} --push
- name: Update doc site for latest release
if: github.event.action == 'released' && github.ref_name == env.LATEST_TAG
working-directory: doc-site
run: mike deploy ${{ github.event.release.tag_name }} latest -u --push
- name: Update doc site for `main` branch
if: ${{ github.event_name == 'push' }}
working-directory: doc-site
run: mike deploy head --push
- name: Test building the doc site but do not deploy it
if: ${{ github.event_name == 'pull_request' }}
working-directory: doc-site
run: mkdocs build