/
githubmirror
/
servo
Обзор
Документация
Войти
/
githubmirror
/
servo
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
main
.github/workflows/docs.yml
47 строк
2 KB
Jonathan Schwender
ci: Update various actions (#45145)
26 май 2026, 18:45
Не верифицирован
26 май 2026, 18:45
6224c64
Код
Авторство
О чём код?
name: Docs upload on: push: branches: ["main"] workflow_dispatch: jobs: upload-docs: # This job is only useful when run on upstream servo. if: github.repository == 'servo/servo' || github.event_name == 'workflow_dispatch' name: Upload docs to GitHub Pages runs-on: ubuntu-22.04 steps: - uses: actions/checkout@v6 - name: Free Disk Space (Ubuntu) uses: jlumbroso/free-disk-space@main with: tool-cache: false large-packages: false swap-storage: false - name: Setup Python uses: ./.github/actions/setup-python - name: Change Mirror Priorities uses: ./.github/actions/apt-mirrors - name: Bootstrap run: | sudo apt update ./mach bootstrap --yes --skip-lints --skip-nextest - name: Set LIBCLANG_PATH # This is needed for bindgen in mozangle. run: echo "LIBCLANG_PATH=/usr/lib/llvm-14/lib" >> $GITHUB_ENV - name: Compile docs run: ./mach doc env: RUSTDOCFLAGS: --document-private-items - name: Upload docs run: | cd target/doc git config --global init.defaultBranch main git init git add . git -c user.name="Workflow" -c user.email="" \ commit -q -m "Rebuild Servo documentation" git remote add origin https://git:${DOC_SERVO_ORG}@github.com/servo/doc.servo.org git push --force origin main:gh-pages env: DOC_SERVO_ORG: ${{ secrets.DOC_SERVO_ORG }}