Skip to content

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

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

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

Workflow file for this run

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