1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
# Automatic generation of developer documentation will be copied
# and checked into the gh-pages branch.
name: Generate MEOS dev documentation
on:
workflow_dispatch:
push:
paths:
- '.github/workflows/generate_dev_docs.yml'
- 'meos/**'
- 'mobilitydb/**'
- 'doxygen/**'
branches:
- 'master'
- 'stable-[0-9]+.[0-9]+'
jobs:
build:
name: Generate MEOS documentation
runs-on: ubuntu-latest
steps:
# checkout branch
- name: Checkout repository
uses: actions/checkout@v4
# generate the documentation files
- name: Generate documentation
uses: mattnotmitt/doxygen-action@v1.9.5
with:
doxyfile-path: "doxygen/Doxyfile_gha"
# store the documentation files
- name: Upload output directory
uses: actions/upload-artifact@v4
with:
name: devdocs-files
path: |
docs/html/*
retention-days: 1
copy:
name: Deploy documentation
runs-on: ubuntu-latest
needs: build
steps:
# checkout the gh-pages branch
- uses: actions/checkout@v4
with:
ref: gh-pages
# download the doc files, most of which are generated above
- name: Download output directory
uses: actions/download-artifact@v4
with:
name: devdocs-files
path: devdocs-temp
# Rename the directory to branch name
- name: Rename the directory to branch name
run: |
rm -rf ${{ github.ref_name }}-dev
mv devdocs-temp ${{ github.ref_name }}-dev
# add, commit and push to gh-pages
- name: Commit changes
uses: EndBug/add-and-commit@v9
with:
message: 'Update dev docs'
default_author: github_actions
|
