add bind ippool to workload (#378) #1096

	name: ci
	on:
	push:
	branches:
	- main
	- master
	- v1.15
	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v6
	with:
	fetch-depth: 0

	- uses: actions/setup-python@v6
	with:
	python-version: '3.14'
	cache: 'pip'

	- name: committer cache
	uses: actions/cache@v5
	with:
	path: .cache
	key: committer-cache

	- run: pip install -r docs/requirements.txt

	- name: build
	env:
	MKDOCS_GIT_COMMITTERS_APIKEY: ${{ secrets.GIT_COMMITER_TOKEM }}
	ENABLE_GIT_COMMITTERS: true
	ENABLE_PDF_EXPORT: 1
	run: \|
	git config --global user.name "ci-bot"
	git config --global user.email "ci-bot@example.com"
	git fetch origin gh-pages
	mike deploy --push -u v1.15.x current stable -t "v1.15.x (stable)"
	mike set-default stable --push
	mike list

Provide feedback