Skip to content

Commit 9481794

Browse files
committed
first push
1 parent 0a4eec5 commit 9481794

37 files changed

+788
-0
lines changed

.github/workflows/deploy.yaml

Lines changed: 59 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
name: Deploy
2+
3+
on:
4+
# Runs on pushes targeting the default branch
5+
push:
6+
branches: ["main"]
7+
8+
# Allows you to run this workflow manually from the Actions tab
9+
workflow_dispatch:
10+
11+
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
12+
permissions:
13+
contents: read
14+
pages: write
15+
id-token: write
16+
17+
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
18+
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
19+
concurrency:
20+
group: "pages"
21+
cancel-in-progress: false
22+
23+
jobs:
24+
# Build job
25+
build:
26+
name: Build
27+
runs-on: ubuntu-latest
28+
steps:
29+
- uses: actions/checkout@v4
30+
31+
- name: Set up Python 3.13
32+
uses: actions/setup-python@v4
33+
with:
34+
python-version: 3.13
35+
36+
- name: Install requirements
37+
run: pip install .
38+
39+
- name: Build the website
40+
run: |
41+
mkdocs build
42+
43+
- name: Upload artifact
44+
uses: actions/upload-pages-artifact@v3
45+
with:
46+
path: site
47+
48+
# Deployment job
49+
deploy:
50+
name: Deploy
51+
environment:
52+
name: github-pages
53+
url: ${{ steps.deployment.outputs.page_url }}
54+
runs-on: ubuntu-latest
55+
needs: build
56+
steps:
57+
- name: Deploy to GitHub Pages
58+
id: deployment
59+
uses: actions/deploy-pages@v4
12.8 KB
Loading
50.2 KB
Loading
51.3 KB
Loading
35.6 KB
Loading
20.9 KB
Loading
59.8 KB
Loading
37.6 KB
Loading
13.8 KB
Loading
52.4 KB
Loading

0 commit comments

Comments
 (0)