Skip to content

Commit f145cd7

Browse files
committed
Generate GitHub Pages again
1 parent b8c6333 commit f145cd7

File tree

2 files changed

+32
-16
lines changed

2 files changed

+32
-16
lines changed

.github/workflows/gh-pages.yml

Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
name: Deploy GitHub Pages
2+
on:
3+
push:
4+
branches: ["main"]
5+
workflow_dispatch:
6+
permissions:
7+
contents: read
8+
pages: write
9+
id-token: write
10+
concurrency:
11+
group: "pages"
12+
cancel-in-progress: false
13+
jobs:
14+
build:
15+
runs-on: ubuntu-latest
16+
steps:
17+
- uses: actions/checkout@v4
18+
- uses: actions/configure-pages@v3
19+
- uses: actions/jekyll-build-pages@v1
20+
with:
21+
source: ./
22+
destination: ./_site
23+
- uses: actions/upload-pages-artifact@v2
24+
deploy:
25+
environment:
26+
name: github-pages
27+
url: ${{ steps.deployment.outputs.page_url }}
28+
runs-on: ubuntu-latest
29+
needs: build
30+
steps:
31+
- id: deployment
32+
uses: actions/deploy-pages@v2

.github/workflows/javadoc.yml

Lines changed: 0 additions & 16 deletions
This file was deleted.

0 commit comments

Comments
 (0)