forked from KeYProject/key
-
Notifications
You must be signed in to change notification settings - Fork 0
38 lines (32 loc) · 927 Bytes
/
javadoc.yml
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
name: Javadoc
on:
push:
branches: [ "main" ]
jobs:
doc:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- run: ls -ld
- run: ls -lh 'gradle'
- name: Set up JDK 21
uses: actions/setup-java@v4
with:
java-version: '21'
distribution: 'corretto'
cache: 'gradle'
- name: Setup Gradle
uses: gradle/actions/setup-gradle@v4
- name: Build Documentation with Gradle
run: ./gradlew alldoc
- name: Package
run: tar cvfj javadoc.tar.bz2 build/docs/javadoc
- name: Upload Javadoc
uses: actions/upload-artifact@v4
with:
name: javadoc
path: "javadoc.tar.bz2"
# - name: Trigger workflow in key-javadoc
# run: gh workflow run -R keyproject/key-javadoc pages.yml -f RUN_ID=${{ github.run_id }}
# env:
# GH_TOKEN: ${{ github.token }}