Add empty PR docs workflow. (#4879)

pull/4878/head
Felix Fontein 2022-06-22 12:49:39 +02:00 committed by GitHub
parent cb58867b57
commit cc9393cecd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 0 deletions

9
.github/workflows/docs-pr.yml vendored Normal file
View File

@ -0,0 +1,9 @@
name: Collection Docs
concurrency:
group: docs-${{ github.head_ref }}
cancel-in-progress: true
on:
pull_request_target:
types: [opened, synchronize, reopened, closed]
jobs: {}