Skip to content

update_docs

update_docs #1327

Workflow file for this run

# This will attempt to retrieve and add/update documentation
name: update_docs
on:
workflow_dispatch:
schedule:
- cron: "0 5 * * *" # Run everyday at 05:00
env:
PIP_DISABLE_PIP_VERSION_CHECK: 1
jobs:
# job prepare sets everything up
update-docs:
# The type of runner that the job will run on
runs-on: ubuntu-latest
continue-on-error: true
# Most scripts will be run from the stubs repo, set that as default
defaults:
run:
shell: bash
working-directory: ${{github.workspace}}
# /micropython-stubs
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
######################################
# Check out repo:
# josverl/micropython-stubs
######################################
- name: Checkout stubs repo
uses: actions/checkout@v4
# with:
# repository: josverl/micropython-stubs
# path: micropython-stubs
# make Python work
- name: Set up Python
uses: actions/setup-python@v5
# with:
# python-version: 3.9
# cache: "pip"
- name: Install Python dependencies (doc only)
working-directory: ${{github.workspace}}
run: |
pip install --upgrade wheel
pip install -r docs/requirements.txt
######################################
# This is where the actual work starts
######################################
- name: Update Documentation
working-directory: ${{github.workspace}}/docs
run: |
python update_docs.py
- name: commit
uses: ./.github/actions/commit
with:
message: "Update stubs documentation"