File tree 2 files changed +24
-2
lines changed
2 files changed +24
-2
lines changed Original file line number Diff line number Diff line change 24
24
changes-pull-request-number : ${{ steps.changes.outputs.changes-pull-request-number }}
25
25
rust-changes : ${{ steps.rust-changes.outputs.changes-found }}
26
26
base-image-changes : ${{ steps.base-image-changes.outputs.changes-found }}
27
+ jobs :
28
+ generate-documentation :
29
+ name : Generate the Move Book using mdBook
30
+ runs-on : ubuntu-20.04
31
+ concurrency :
32
+ group : ${{ github.workflow }}-${{ github.ref }}
27
33
steps :
28
34
35
+
36
+ - name : Setup mdBook
37
+ uses : peaceiris/actions-mdbook@v1
38
+ with :
39
+ mdbook-version : ' 0.4.10'
40
+ # mdbook-version: 'latest'
41
+
42
+ - run : mdbook build language/documentation/book
43
+
44
+ - name : Deploy
45
+ uses : peaceiris/actions-gh-pages@v3
46
+ with :
47
+ github_token : ${{ secrets.GITHUB_TOKEN }}
48
+ publish_dir : ./language/documentation/book/book
29
49
with :
30
50
# This ensures that the tip of the PR is checked out instead of the merge between the base ref and the tip
31
51
# On `push` this value will be empty and will "do-the-right-thing"
Original file line number Diff line number Diff line change 1
- name : ci-test
1
+ # CI jobs to be run upon the code lands to the main branch or GitHub Action test branches.
2
+
3
+ name : ci-pre-land
2
4
3
5
on :
4
6
push :
39
41
name : determine changes
40
42
uses : diem/actions/changes@faadd16607b77dfa2231a8f366883e01717b3225
41
43
with :
42
- workflow-file : ci-test .yml
44
+ workflow-file : ci.yml
43
45
github-token : ${{secrets.GITHUB_TOKEN}}
44
46
- id : any-changes-found
45
47
name : determine if there are any files listed in the CHANGES_CHANGED_FILE_OUTPUTFILE.
You can’t perform that action at this time.
0 commit comments