fix: replace removed teacher_gpu_ids with deployment.num_teacher_gpus… #28
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Sync Docs to Public Docs | |
| on: | |
| push: | |
| branches: | |
| - main | |
| paths: | |
| - 'docs/**' | |
| workflow_dispatch: | |
| jobs: | |
| trigger-docs-sync: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Validate mint.json pages exist | |
| run: | | |
| missing=() | |
| pages=$(python3 -c " | |
| import json, sys | |
| data = json.load(open('docs/mint.json')) | |
| pages = [] | |
| def collect(obj): | |
| if isinstance(obj, list): | |
| for item in obj: collect(item) | |
| elif isinstance(obj, dict): | |
| if 'pages' in obj: collect(obj['pages']) | |
| if 'groups' in obj: collect(obj['groups']) | |
| elif isinstance(obj, str): | |
| pages.append(obj) | |
| collect(data.get('navigation', [])) | |
| print('\n'.join(pages)) | |
| ") | |
| while IFS= read -r page; do | |
| [ -z "$page" ] && continue | |
| if [ ! -f "docs/${page}.md" ] && [ ! -f "docs/${page}.mdx" ]; then | |
| missing+=("${page}") | |
| fi | |
| done <<< "$pages" | |
| if [ ${#missing[@]} -gt 0 ]; then | |
| echo "ERROR: The following pages listed in mint.json do not exist in docs/:" | |
| printf ' - %s\n' "${missing[@]}" | |
| exit 1 | |
| fi | |
| echo "All mint.json pages verified." | |
| - name: Trigger public-docs workflow | |
| uses: peter-evans/repository-dispatch@v3 | |
| with: | |
| token: ${{ secrets.DOCS_SYNC_PAT }} | |
| repository: PrimeIntellect-ai/public-docs | |
| event-type: docs-updated | |
| client-payload: '{"repo": "prime-rl", "ref": "${{ github.sha }}"}' | |