Skip to content
Docs

Client to display the correct active environment, choosing between the server default, config default, and env var default #4601

Sign in to view logs

Client to display the correct active environment, choosing between the server default, config default, and env var default

Client to display the correct active environment, choosing between the server default, config default, and env var default #4601

Workflow file for this run

.github/workflows/docs.yml at 02d118f
name: Docs
on:
push:
branches:
- main
pull_request:
# Cancel previous runs of the same PR but do not cancel previous runs on main
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
jobs:
doc-test:
name: Doc generation tests
timeout-minutes: 5
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v3
- uses: ./.github/actions/setup-cached-python
- name: Build protobuf
run: inv protoc
- name: Install package + deps
run: pip install -e . # Makes sure doc generation doesn't break on client imports etc.
- name: Generate reference docs
run: python -m modal_docs.gen_reference_docs reference_docs_output
- name: Generate CLI docs
run: python -m modal_docs.gen_cli_docs cli_docs