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