Commit b45beb5
authored
Use actions instead of gh-pages branch (#13)
Split the workflow into two sequential jobs (`build` and `deploy`),
which use dedicated GitHub Actions:
- The `build` job matrix builds our HTML documentation for GitHub Pages,
then it uploads artifacts with job-dependent names using
`upload-pages-artifact`. Hence the generated books can be checked during
a PR review. This fixes #12.
- The `deploy` job runs on a single platform after the PR is merged. It
deploys the correct artifact to GitHub Pages using `deploy-pages`.
NOTE: We do not need a dedicated branch `gh-pages` any longer.
Other changes:
- Rename `build-book.yml` to `build-deploy-book.yml`
- Rename workflow and build jobs
- Add `Contributing` section to `README.md`, which mentions issues,
forks, pull requests, workflows, and artifacts.
- Add myself to `AUTHORS`.1 parent af9b857 commit b45beb5
3 files changed
+36
-15
lines changedLines changed: 22 additions & 13 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
10 | | - | |
| 10 | + | |
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
19 | 18 | | |
20 | 19 | | |
21 | | - | |
| 20 | + | |
22 | 21 | | |
23 | 22 | | |
24 | 23 | | |
25 | | - | |
26 | | - | |
27 | 24 | | |
28 | 25 | | |
29 | 26 | | |
| |||
77 | 74 | | |
78 | 75 | | |
79 | 76 | | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
| 89 | + | |
| 90 | + | |
| 91 | + | |
80 | 92 | | |
81 | | - | |
82 | | - | |
83 | | - | |
84 | | - | |
85 | | - | |
86 | | - | |
87 | | - | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
70 | 70 | | |
71 | 71 | | |
72 | 72 | | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
0 commit comments