Skip to content

Check control characters in header name #242

Check control characters in header name

Check control characters in header name #242

Workflow file for this run

name: Documents
on:
push:
branches:
- master
jobs:
build-and-deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
# - uses: pdm-project/setup-pdm@v3
# name: Setup Python and PDM
# with:
# python-version: 3.7
# architecture: x64
# version: 2.4.5
# prerelease: true
# enable-pep582: true # Enable PEP 582 package loading globally
# - name: Install dependencies
# run: |
# pdm sync -dG doc
# - name: Generate document
# run: |
# export PATH=$PATH:$(pdm info --packages)/bin
# cd docs && make html
# - name: Push document to branch `gh-pages`
# run: |
# cd docs/build/html
# git init
# remote_repo="https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
# git config http.sslVerify false
# git config user.name "Automated Publisher"
# git config user.email "actions@users.noreply.github.com"
# git remote add publisher "${remote_repo}"
# # install lfs hooks
# git lfs install
# # publish any new files
# git checkout -b gh-pages
# git add -A
# timestamp=$(date -u)
# git commit -m "Automated publish: ${timestamp} ${GITHUB_SHA}" || exit 0
# git push --force publisher gh-pages
# env:
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}