Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit1066514

Browse files
authored
Merge pull request#73 from borodun/github-pages
Add pipeline for docs using GitHub Pages
2 parents764642b +739ecbc commit1066514

File tree

1 file changed

+51
-0
lines changed

1 file changed

+51
-0
lines changed

‎.github/workflows/deploy-docs.yml

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
name:Build and Deploy Docs
2+
3+
# Deploy docs only for master
4+
on:
5+
push:
6+
branches:
7+
-"master"
8+
9+
# Allow deployment to GitHub Pages
10+
permissions:
11+
pages:write
12+
id-token:write
13+
14+
jobs:
15+
deploy-docs:
16+
17+
name:Deploy Docs
18+
19+
environment:
20+
name:github-pages
21+
url:${{ steps.deployment.outputs.page_url }}
22+
23+
runs-on:ubuntu-latest
24+
25+
steps:
26+
-name:Install dependencies
27+
run:|
28+
sudo apt update && sudo apt install -y \
29+
docbook-xml \
30+
docbook-xsl \
31+
libxml2-utils \
32+
xsltproc \
33+
fop
34+
35+
-name:Clone pgSphere
36+
uses:actions/checkout@v4
37+
38+
-name:Build docs
39+
run:make -C doc
40+
41+
-name:Setup Pages
42+
uses:actions/configure-pages@v3
43+
44+
-name:Upload artifact
45+
uses:actions/upload-pages-artifact@v2
46+
with:
47+
path:'doc/html'
48+
49+
-name:Deploy to GitHub Pages
50+
id:deployment
51+
uses:actions/deploy-pages@v2

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp