Commit 6c740da
committed
ci: remove paths-ignore
Using paths-ignore as a short-circuit for doc-only PRs does not work:
branch protection rules cannot be passed.
Signed-off-by: Frederic BIDON <[email protected]>1 parent fc9ca80 commit 6c740da
1 file changed
+0
-4
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
9 | | - | |
10 | | - | |
11 | 9 | | |
12 | 10 | | |
13 | | - | |
14 | | - | |
15 | 11 | | |
16 | 12 | | |
17 | 13 | | |
| |||
0 commit comments