File tree 1 file changed +48
-0
lines changed
1 file changed +48
-0
lines changed Original file line number Diff line number Diff line change
1
+ # This is a basic workflow that is manually triggered
2
+
3
+ name : Manual workflow
4
+
5
+ # Controls when the action will run. Workflow runs when manually triggered using the UI
6
+ # or API.
7
+ on :
8
+ workflow_dispatch :
9
+ # Inputs the workflow accepts.
10
+ inputs :
11
+ name :
12
+ # Friendly description to be shown in the UI instead of 'name'
13
+ description : ' Person to greet'
14
+ # Default value if no value is explicitly provided
15
+ default : ' World'
16
+ # Input has to be provided for the workflow to run
17
+ required : true
18
+ # The data type of the input
19
+ type : string
20
+
21
+ # A workflow run is made up of one or more jobs that can run sequentially or in parallel
22
+ jobs :
23
+ deploy-docs :
24
+ runs-on : ubuntu-latest
25
+ steps :
26
+ - uses : actions/checkout@v2
27
+ - name : Set up Python 3.9
28
+ uses : actions/setup-python@v2
29
+ with :
30
+ python-version : 3.9
31
+ - name : Install dependencies
32
+ run : |
33
+ python -m pip install --upgrade pip
34
+ pip install --upgrade setuptools
35
+ pip install -e .
36
+ pip install -r docs/requirements.txt
37
+ - name : Build docs
38
+ run : |
39
+ set -e
40
+ # Check that docs are built without errors
41
+ cd docs/ && make html && cd ..
42
+ - name : Deploy docs
43
+
44
+ with :
45
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
46
+ BRANCH : gh-pages
47
+ FOLDER : docs/build/html
48
+ CLEAN : true
You can’t perform that action at this time.
0 commit comments