Skip to content
This repository was archived by the owner on Mar 11, 2025. It is now read-only.

Commit 6969ad1

Browse files
Add separate docs workflow (#1491)
1 parent 75e1220 commit 6969ad1

File tree

2 files changed

+20
-0
lines changed

2 files changed

+20
-0
lines changed
Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
name: Docs Pull Request
2+
3+
on:
4+
pull_request:
5+
paths:
6+
- 'docs/**'
7+
push:
8+
branches: [master]
9+
paths:
10+
- 'docs/**'
11+
12+
jobs:
13+
all_github_action_checks:
14+
runs-on: ubuntu-latest
15+
steps:
16+
- run: echo "Done"

.github/workflows/pull-request.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,12 @@ name: Pull Request
22

33
on:
44
pull_request:
5+
paths-ignore:
6+
- 'docs/**'
57
push:
68
branches: [master]
9+
paths-ignore:
10+
- 'docs/**'
711

812
jobs:
913
all_github_action_checks:

0 commit comments

Comments
 (0)