Commit 13b1894
chore: avoid update-docs workflow runs on pushes to main (#3617)
Docs should be updated on branches, in case of the locked main branch a
PR is created. This to ensure the main is up-to-date.
---------
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>1 parent 941682e commit 13b1894
File tree
5 files changed
+12
-25
lines changed- .github/workflows
- examples
- arm64
- default
5 files changed
+12
-25
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
20 | | - | |
21 | | - | |
22 | | - | |
23 | | - | |
24 | | - | |
25 | | - | |
26 | | - | |
27 | | - | |
28 | | - | |
29 | | - | |
30 | | - | |
31 | | - | |
32 | | - | |
33 | | - | |
34 | | - | |
35 | | - | |
| 19 | + | |
36 | 20 | | |
37 | 21 | | |
38 | 22 | | |
39 | 23 | | |
40 | 24 | | |
41 | 25 | | |
42 | 26 | | |
43 | | - | |
| 27 | + | |
44 | 28 | | |
| 29 | + | |
45 | 30 | | |
46 | | - | |
| 31 | + | |
47 | 32 | | |
48 | 33 | | |
49 | | - | |
| 34 | + | |
50 | 35 | | |
51 | 36 | | |
52 | | - | |
| 37 | + | |
| 38 | + | |
53 | 39 | | |
| 40 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
64 | 64 | | |
65 | 65 | | |
66 | 66 | | |
67 | | - | |
| 67 | + | |
68 | 68 | | |
69 | 69 | | |
70 | 70 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
62 | 62 | | |
63 | 63 | | |
64 | 64 | | |
65 | | - | |
| 65 | + | |
66 | 66 | | |
67 | 67 | | |
68 | 68 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
| |||
0 commit comments