This repository was archived by the owner on Jan 19, 2025. It is now read-only.
File tree 9 files changed +418
-12
lines changed
9 files changed +418
-12
lines changed Original file line number Diff line number Diff line change 5
5
6
6
version : 2
7
7
updates :
8
+ # root
8
9
- package-ecosystem : ' github-actions'
9
10
directory : ' /'
10
11
schedule :
11
12
interval : ' monthly'
13
+ - package-ecosystem : ' npm'
14
+ directory : ' /'
15
+ schedule :
16
+ interval : ' monthly'
17
+
18
+ # api-editor
12
19
- package-ecosystem : ' gradle'
13
20
directory : ' /api-editor'
14
21
schedule :
15
22
interval : ' monthly'
16
23
- package-ecosystem : ' npm'
17
- directory : ' /'
24
+ directory : ' /api-editor/gui '
18
25
schedule :
19
26
interval : ' monthly'
20
- - package-ecosystem : ' npm'
21
- directory : ' /api-editor/gui'
27
+
28
+ # docs
29
+ - package-ecosystem : ' pip'
30
+ directory : ' /docs'
22
31
schedule :
23
32
interval : ' monthly'
Original file line number Diff line number Diff line change 59
59
directory : api-editor/build/reports/kover/merged/xml
60
60
files : report.xml
61
61
62
- - name : Install dependencies
63
- run : npm ci
64
-
65
- - name : Release
66
- run : npx semantic-release
67
- env :
68
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
69
-
70
62
gui-test-coverage :
71
63
runs-on : ubuntu-latest
72
64
defaults :
Original file line number Diff line number Diff line change
1
+ name : Release to GitHub
2
+
3
+ on :
4
+ workflow_dispatch
5
+
6
+ jobs :
7
+ release :
8
+ runs-on : ubuntu-latest
9
+
10
+ strategy :
11
+ matrix :
12
+ node-version : [ 18.x ]
13
+ java-version : [ 17 ]
14
+
15
+ steps :
16
+ - name : Checkout source
17
+ uses : actions/checkout@v3
18
+ with :
19
+ fetch-depth : 0
20
+ persist-credentials : false
21
+
22
+ - name : Use Node.js ${{ matrix.node-version }}
23
+ uses : actions/setup-node@v3
24
+ with :
25
+ node-version : ${{ matrix.node-version }}
26
+ cache : npm
27
+ cache-dependency-path : api-editor/gui/package-lock.json
28
+
29
+ - name : Set up JDK ${{ matrix.java-version }}
30
+ uses : actions/setup-java@v3
31
+ with :
32
+ distribution : temurin
33
+ java-version : ${{ matrix.java-version }}
34
+ cache : gradle
35
+
36
+ # See https://docs.github.com/en/actions/guides/building-and-testing-java-with-gradle
37
+ - name : Setup Gradle
38
+ uses : gradle/wrapper-validation-action@v1
39
+
40
+ - name : Build with Gradle
41
+ run : ./gradlew build
42
+ working-directory : ./api-editor
43
+
44
+ - name : Install dependencies
45
+ run : npm ci
46
+
47
+ - name : Release
48
+ run : npx semantic-release
49
+ env :
50
+ GITHUB_TOKEN : ${{ secrets.PAT }}
Original file line number Diff line number Diff line change 1
1
mkdocs == 1.4.2
2
2
mkdocs-glightbox == 0.3.1
3
3
mkdocs-material == 9.1.0
4
+ mkdocs-section-index == 0.3.5
Original file line number Diff line number Diff line change @@ -3,7 +3,9 @@ repo_url: https://github.com/Safe-DS/API-Editor
3
3
repo_name : Safe-DS/API-Editor
4
4
5
5
nav :
6
- - Home : README.md
6
+ - Home :
7
+ - README.md
8
+ - Changelog : CHANGELOG.md
7
9
- GUI : gui.md
8
10
9
11
# Configuration of MkDocs & Material for MkDocs --------------------------------
You can’t perform that action at this time.
0 commit comments