We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 11c7870 commit 277d545Copy full SHA for 277d545
.github/workflows/deploy-docs.yaml
@@ -1,6 +1,10 @@
1
name: Deploy Docs
2
3
on:
4
+ merge_group:
5
+ pull_request:
6
+ branches:
7
+ - "*"
8
push:
9
branches:
10
- stable
@@ -30,6 +34,7 @@ jobs:
30
34
mkdir -p ${{ runner.temp }}/book/devel
31
35
mkdir -p ${{ runner.temp }}/book/dev-guide
32
36
- name: Build user-guide (stable)
37
+ if: ${{ !contains('["pull_request", "merge_group"]', github.event_name) }}
33
38
run: |
39
git checkout stable
40
# Support both old and new directory structure during the transition
@@ -49,6 +54,7 @@ jobs:
49
54
mdbook build
50
55
mv book ${{ runner.temp }}/book/dev-guide
51
56
- name: Deploy to GitHub
57
52
58
53
59
cd ${{ runner.temp }}/book
60
git init
0 commit comments