File tree Expand file tree Collapse file tree 1 file changed +36
-0
lines changed Expand file tree Collapse file tree 1 file changed +36
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : CI
2
+ # Controls when the workflow will run
3
+ on :
4
+ # Triggers the workflow on push or pull request events but only for the "rolling" branch
5
+ push :
6
+ branches :
7
+ - rolling
8
+ # Allows you to run this workflow manually from the Actions tab
9
+ workflow_dispatch :
10
+ permissions :
11
+ contents : write
12
+ # A workflow run is made up of one or more jobs that can run sequentially or in parallel
13
+ jobs :
14
+ # This workflow contains a single job called "deploy"
15
+ deploy :
16
+ # The type of runner that the job will run on
17
+ runs-on : ubuntu-latest
18
+ # Steps represent a sequence of tasks that will be executed as part of the job
19
+ steps :
20
+ - uses : actions/checkout@v4
21
+ - name : Configure Git Credentials
22
+ run : |
23
+ git config user.name github-actions[bot]
24
+ git config user.email 41898282+github-actions[bot]@users.noreply.github.com
25
+ - uses : actions/setup-python@v5
26
+ with :
27
+ python-version : 3.x
28
+ - run : echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
29
+ - uses : actions/cache@v4
30
+ with :
31
+ key : mkdocs-material-${{ env.cache_id }}
32
+ path : .cache
33
+ restore-keys : |
34
+ mkdocs-material-
35
+ - run : pip install -r docs/requirements.txt
36
+ - run : mkdocs gh-deploy --force
You can’t perform that action at this time.
0 commit comments