FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
java-sdk/.github/workflows/docs.yml at main · modelcontextprotocol/java-sdk · GitHub
modelcontextprotocol
java-sdk
Repository navigation
Code
Issues
110
(110)
Pull requests
167
(167)
Discussions
Actions
Projects
Security and quality
4
(4)
Insights
Expand file tree
Breadcrumbs
java-sdk
/
.github
/
workflows
/
docs.yml
Copy path
View runs
More file actions
More file actions
Latest commit
History
History
History
54 lines (46 loc) · 1.37 KB
Breadcrumbs
java-sdk
/
.github
/
workflows
/
docs.yml
Copy path
File metadata and controls
54 lines (46 loc) · 1.37 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
name
:
Deploy Documentation
on
:
push
:
branches
:
-
main
paths
:
-
'
docs/**
'
-
'
mkdocs.yml
'
release
:
types
:
-
published
workflow_dispatch
:
permissions
:
contents
:
write
jobs
:
deploy
:
runs-on
:
ubuntu-latest
steps
:
-
uses
:
actions/checkout@v4
with
:
fetch-depth
:
0
-
uses
:
actions/setup-python@v5
with
:
python-version
:
3.x
-
run
:
pip install mkdocs-material mike
-
name
:
Configure git user
run
:
|
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
-
name
:
Deploy docs (push to main)
if
:
github.event_name == 'push' || github.event_name == 'workflow_dispatch'
run
:
|
PROJECT_VERSION=$(mvn help:evaluate -Dexpression=project.version --quiet -DforceStdout)
if [[ "${PROJECT_VERSION}" == *-SNAPSHOT ]]; then
ALIAS="latest-snapshot"
else
ALIAS="latest"
fi
mike deploy --push --update-aliases "${PROJECT_VERSION}" "${ALIAS}"
mike set-default latest --push
-
name
:
Deploy versioned docs (release)
if
:
github.event_name == 'release'
run
:
|
VERSION=${GITHUB_REF_NAME}
mike deploy --push --update-aliases "${VERSION}" latest
mike set-default latest --push
Back
|
FazBrowse Home
|
New Git URL