Skip to content

Commit 13f4cd8

Browse files
authored
Merge pull request #1 from spazyCZ/005-improve-search-ux
Version 1 skills done
2 parents c4db31e + 7ce963a commit 13f4cd8

279 files changed

Lines changed: 91378 additions & 1371 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.dockerignore

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
node_modules
2+
dist
3+
.git
4+
.nx
5+
.venv
6+
__pycache__
7+
*.pyc
8+
.pytest_cache
9+
.mypy_cache
10+
coverage
11+
.env
12+
.env.*
13+
deploy/pulumi/venv
14+
docs/user_docs/site

.github/workflows/deploy-docs.yml

Lines changed: 115 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,115 @@
1+
################################################################################
2+
# #
3+
# GITHUB ACTIONS — DEPLOY MKDOCS TO GITHUB PAGES #
4+
# #
5+
################################################################################
6+
#
7+
# Builds the MkDocs documentation site (Material theme) and deploys it to
8+
# GitHub Pages using the official `actions/deploy-pages` action.
9+
#
10+
# Triggers:
11+
# - Push to `main` branch when docs/** files change
12+
# - Manual dispatch (workflow_dispatch) for ad-hoc deployments
13+
#
14+
# The workflow uses the "deploy to GitHub Pages via Actions" approach which
15+
# requires the repository Settings → Pages → Source to be set to
16+
# "GitHub Actions" (NOT "Deploy from a branch").
17+
#
18+
################################################################################
19+
20+
name: Deploy Documentation
21+
22+
on:
23+
push:
24+
branches:
25+
- main
26+
paths:
27+
- "docs/user_docs/**"
28+
- ".github/workflows/deploy-docs.yml"
29+
workflow_dispatch:
30+
31+
# -----
32+
# Allow only one concurrent deployment; skip in-progress runs for new pushes
33+
# -----
34+
concurrency:
35+
group: "pages"
36+
cancel-in-progress: true
37+
38+
# -----
39+
# Permissions required for GitHub Pages deployment via Actions
40+
# -----
41+
permissions:
42+
contents: read
43+
pages: write
44+
id-token: write
45+
46+
jobs:
47+
# ==========================================================================
48+
# BUILD — Install dependencies and build the MkDocs static site
49+
# ==========================================================================
50+
build:
51+
runs-on: ubuntu-latest
52+
steps:
53+
# -----
54+
# Step 1: Check out the repository
55+
# -----
56+
- name: Checkout repository
57+
uses: actions/checkout@v4
58+
with:
59+
fetch-depth: 0 # Full history for git-revision-date plugin (if added later)
60+
61+
# -----
62+
# Step 2: Set up Python
63+
# -----
64+
- name: Set up Python
65+
uses: actions/setup-python@v5
66+
with:
67+
python-version: "3.11"
68+
cache: "pip"
69+
cache-dependency-path: docs/user_docs/requirements-docs.txt
70+
71+
# -----
72+
# Step 3: Install MkDocs and dependencies
73+
# -----
74+
- name: Install MkDocs dependencies
75+
run: pip install -r docs/user_docs/requirements-docs.txt
76+
77+
# -----
78+
# Step 4: Build the MkDocs site in strict mode
79+
# -----
80+
- name: Build MkDocs site
81+
run: mkdocs build --strict
82+
working-directory: docs/user_docs
83+
84+
# -----
85+
# Step 5: Configure GitHub Pages
86+
# -----
87+
- name: Setup Pages
88+
uses: actions/configure-pages@v5
89+
90+
# -----
91+
# Step 6: Upload the built site as a Pages artifact
92+
# -----
93+
- name: Upload Pages artifact
94+
uses: actions/upload-pages-artifact@v3
95+
with:
96+
path: docs/user_docs/site
97+
98+
# ==========================================================================
99+
# DEPLOY — Publish the built site to GitHub Pages
100+
# ==========================================================================
101+
deploy:
102+
runs-on: ubuntu-latest
103+
needs: build
104+
105+
environment:
106+
name: github-pages
107+
url: ${{ steps.deployment.outputs.page_url }}
108+
109+
steps:
110+
# -----
111+
# Deploy the uploaded artifact to GitHub Pages
112+
# -----
113+
- name: Deploy to GitHub Pages
114+
id: deployment
115+
uses: actions/deploy-pages@v4

.gitignore

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,7 @@ venv.bak/
3636
# Build outputs
3737
dist/
3838
*.local
39+
docs/user_docs/site/
3940

4041
# IDE
4142
.idea/
@@ -83,3 +84,13 @@ Thumbs.db
8384
*.key
8485
.cache/
8586
tmp/
87+
.github/skills/
88+
.github/prompts/
89+
.github/copilot-instructions.md
90+
.github/instructions/
91+
.cursor/
92+
.vscode/
93+
scripts/
94+
docs/work/
95+
.specify/
96+
.claude/

0 commit comments

Comments
 (0)