script: Move cookie_store from GlobalScope into Window (#44115) #121

	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@v5
	- 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 }}

Provide feedback