Make min-drop-probability of PHC optional (#3067) #84

	name: docs-ci

	permissions: {}

	on:
	workflow_dispatch:
	push:
	branches:
	- 'master'
	paths:
	- 'docs/**'

	jobs:
	deploy:
	permissions:
	contents: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b
	- uses: actions/setup-python@82c7e631bb3cdc910f68e0081d67478d79c6982d
	with:
	python-version: 3.x
	- uses: actions/cache@0c45773b623bea8c8e75f6c82b208c3cf94ea4f9
	with:
	key: ${{ github.ref }}
	path: .cache
	- run: pip install mkdocs mkdocs-material markdown-include
	- run: mkdocs gh-deploy --force

Provide feedback