97d56527a0
The unix port is needed to build the docs, due to the cpydiff tests which
run both CPython and MicroPython (unix port). That was previously not
failing the CI because the output from MicroPython was:
/bin/sh: 1: ../ports/unix/build-standard/micropython: not found
which doesn't match the CPython output for any of the cpydiff tests, and so
it was considered a "pass" in terms of the output differing.
Also, run the docs workflow when py/ or tests/cpydiff/ changes, because the
cpydiff results may change when the core code changes.
Signed-off-by: Damien George <damien@micropython.org>
27 lines
545 B
YAML
27 lines
545 B
YAML
name: Build docs
|
|
|
|
on:
|
|
push:
|
|
pull_request:
|
|
paths:
|
|
- docs/**
|
|
- py/**
|
|
- tests/cpydiff/**
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
build:
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: actions/setup-python@v5
|
|
- name: Install Python packages
|
|
run: pip install -r docs/requirements.txt
|
|
- name: Build unix port
|
|
run: source tools/ci.sh && ci_unix_build_helper
|
|
- name: Build docs
|
|
run: make -C docs/ html
|