Skip to content

Commit c4817e3

Browse files
Update docs.yml
1 parent 0a2543d commit c4817e3

File tree

1 file changed

+11
-0
lines changed

1 file changed

+11
-0
lines changed

.github/workflows/docs.yml

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,17 @@ name: Generate javadoc github pages
33
on:
44
push:
55
branches: [ master ]
6+
workflow_dispatch:
7+
8+
permissions:
9+
contents: read
10+
pages: write
11+
id-token: write
12+
13+
concurrency:
14+
group: "pages"
15+
cancel-in-progress: true
16+
617
jobs:
718
build:
819
runs-on: ubuntu-latest

0 commit comments

Comments
 (0)