File tree 5 files changed +55
-341
lines changed
5 files changed +55
-341
lines changed Load Diff This file was deleted.
Original file line number Diff line number Diff line change
1
+ name : Publish documentation to Github Pages
2
+
3
+ on :
4
+ workflow_dispatch :
5
+ push :
6
+ branches : [main]
7
+ paths :
8
+ - ' *.md'
9
+ - .github/workflows/pages.yaml
10
+
11
+ permissions :
12
+ id-token : write # This is required for requesting the JWT
13
+ contents : write # This is required for actions/checkout
14
+ pages : write # to deploy to Pages
15
+
16
+ jobs :
17
+ PublishGithubPages :
18
+ runs-on : ubuntu-latest
19
+ steps :
20
+ - id : release
21
+ name : Create and upload new Github Pages content
22
+
23
+ with :
24
+ tag-prefix : ' version'
25
+ version-bump : ' keep'
26
+ release-flags : ' '
27
+ github-token : ${{ secrets.GITHUB_TOKEN }}
28
+ sonatype-token : ${{ secrets.SONATYPE_TOKEN }}
29
+ gpg-secret-key-base64 : ${{ secrets.GPG_SECRET_KEY }}
30
+ gpg-secret-key-id : ${{ secrets.GPG_SECRET_KEY_ID }}
31
+ pages-only : ' true'
32
+ markdown-paths : ' README.md'
33
+
Original file line number Diff line number Diff line change 16
16
# push:
17
17
# branches: [main]
18
18
# paths:
19
- # - '*.scala'
19
+ # - '*.scala'
20
+
21
+ permissions :
22
+ id-token : write # This is required for requesting the JWT
23
+ contents : write # This is required for actions/checkout
24
+ pages : write # to deploy to Pages
20
25
21
26
jobs :
22
27
ReleasePackage :
23
- uses : ./.github/workflows/buildAndPublishPackage.yaml
24
- secrets : inherit
25
- with :
26
- tag-prefix : ' version'
27
- version-bump : ${{ inputs.version-bump || 'patch' }}
28
+ runs-on : ubuntu-latest
29
+ steps :
30
+ - id : release
31
+ name : Create and upload new release bundles
32
+
33
+ with :
34
+ tag-prefix : ' version'
35
+ version-bump : ${{ inputs.version-bump || 'patch' }}
36
+ release-flags : ' --native'
37
+ github-token : ${{ secrets.GITHUB_TOKEN }}
38
+ sonatype-token : ${{ secrets.SONATYPE_TOKEN }}
39
+ gpg-secret-key-base64 : ${{ secrets.GPG_SECRET_KEY }}
40
+ gpg-secret-key-id : ${{ secrets.GPG_SECRET_KEY_ID }}
41
+ pages-only : ' false'
42
+ markdown-paths : ' README.md'
43
+
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments