File tree 1 file changed +17
-17
lines changed
1 file changed +17
-17
lines changed Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ name: Deploy documentation
2
2
3
3
on :
4
4
push :
5
- branches : [develop ]
5
+ branches : [florianduros/ci/update-mdbook ]
6
6
workflow_dispatch : {}
7
7
8
8
permissions :
60
60
mdbook-version : " 0.4.10"
61
61
62
62
- name : Install mdbook extensions
63
- run : cargo install mdbook-combiner mdbook-mermaid
63
+ run : cargo install mdbook-combiner@0.1.15 mdbook-mermaid
64
64
65
65
- name : Prepare docs
66
66
run : |
@@ -98,18 +98,18 @@ jobs:
98
98
- name : Build docs
99
99
run : mdbook build
100
100
101
- - name : Upload artifact
102
- uses : actions/upload-pages-artifact@v3
103
- with :
104
- path : ./book
105
-
106
- deploy :
107
- environment :
108
- name : github-pages
109
- url : ${{ steps.deployment.outputs.page_url }}
110
- runs-on : ubuntu-latest
111
- needs : build
112
- steps :
113
- - name : Deploy to GitHub Pages
114
- id : deployment
115
- uses : actions/deploy-pages@v4
101
+ # - name: Upload artifact
102
+ # uses: actions/upload-pages-artifact@v3
103
+ # with:
104
+ # path: ./book
105
+
106
+ # deploy:
107
+ # environment:
108
+ # name: github-pages
109
+ # url: ${{ steps.deployment.outputs.page_url }}
110
+ # runs-on: ubuntu-latest
111
+ # needs: build
112
+ # steps:
113
+ # - name: Deploy to GitHub Pages
114
+ # id: deployment
115
+ # uses: actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments