name: Build PR Documentation on: pull_request: merge_group: concurrency: group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} cancel-in-progress: true permissions: contents: read jobs: build: if: github.event_name == 'pull_request' uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@e60a538eea9817ab312196d0d233604b01697265 # main (light installs, no custom container) with: commit_sha: ${{ github.event.pull_request.head.sha }} pr_number: ${{ github.event.number }} package: transformers languages: en # Satisfy required check in merge queue without actually building docs skip_merge_queue: if: github.event_name == 'merge_group' runs-on: ubuntu-latest steps: - run: echo "Skipping doc build in merge queue" doc_build_status_check: needs: [build, skip_merge_queue] if: always() runs-on: ubuntu-latest steps: - run: | if [[ "${{ needs.build.result }}" == "success" || "${{ needs.build.result }}" == "skipped" ]] && \ [[ "${{ needs.skip_merge_queue.result }}" == "success" || "${{ needs.skip_merge_queue.result }}" == "skipped" ]]; then echo "OK" else exit 1 fi