Skip to content

PEP 757: edit rejected ideas (mpz_import/export-like API) #970

PEP 757: edit rejected ideas (mpz_import/export-like API)

PEP 757: edit rejected ideas (mpz_import/export-like API) #970

name: Read the Docs PR preview
on:
pull_request_target:
types:
- opened
permissions:
contents: read
pull-requests: write
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
documentation-links:
runs-on: ubuntu-latest
steps:
- uses: readthedocs/actions/preview@v1
with:
project-slug: "pep-previews"
single-version: "true"