File tree Expand file tree Collapse file tree 1 file changed +35
-0
lines changed Expand file tree Collapse file tree 1 file changed +35
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Publish new version of documentation
2
+ on :
3
+ repository_dispatch :
4
+ types :
5
+ - push-tag
6
+ jobs :
7
+ publish_docs :
8
+ name : Publish tagged documentation
9
+ runs-on : ubuntu-latest
10
+ steps :
11
+ - uses : actions/checkout@v2
12
+ name : Checkout Framework
13
+ with :
14
+ repository : qooxdoo/qooxdoo
15
+ ref : ${{ github.event.inputs.ref }}
16
+ path : ' qooxdoo'
17
+ - uses : actions/checkout@v2
18
+ name : Checkout published docs
19
+ with :
20
+ ref : gh_pages
21
+ path : ' documentation'
22
+ - id : get_dest_dir
23
+ run : |
24
+ dir=documentation/$(echo "${{ github.event.inputs.ref }}" | cut -d / -f 3 | cut -d . -f 1-2)
25
+ echo "::set-output name=destination_dir::$dir"
26
+ - id : debug
27
+ run : echo "Destination dir is ${{ steps.get_dest_dir.outputs.destination_dir }}"
28
+ # - name: Deploy to GH page
29
+ # uses: peaceiris/actions-gh-pages@v3
30
+ # with:
31
+ # github_token: ${{ secrets.GITHUB_TOKEN }}
32
+ # publish_dir: ./qooxdoo/docs
33
+ # destination_dir: ${{ steps.get_dest_dir.outputs.destination_dir }}
34
+
35
+
You can’t perform that action at this time.
0 commit comments