-
Notifications
You must be signed in to change notification settings - Fork 50
연습문제 전체에 사용 테이블/학습 범위 admonition 통일 #48
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Verify & Deploy
on:
push:
branches: [main]
paths:
- 'docs/**'
- 'src/**'
- 'data/**'
- 'exercises/**'
- 'requirements.txt'
- '.github/workflows/**'
pull_request:
branches: [main]
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: pages
cancel-in-progress: false
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.12'
cache: 'pip'
- name: Install dependencies
run: pip install -r requirements.txt
- name: Generate database (Korean)
run: python -m src.cli.generate --size small
- name: Generate database (English)
run: python -m src.cli.generate --size small --locale en
- name: Verify SQL (examples + answers)
run: python -m src.verify.verify_sql
- name: Verify content quality
run: python -m src.verify.verify_quality || true
continue-on-error: true
- name: Verify difficulty curve
run: python -m src.verify.verify_difficulty || true
continue-on-error: true
- name: Verify DML/DDL answers
run: python -m src.verify.verify_dml || true
continue-on-error: true
- name: Build docs (Korean)
run: cd docs && mkdocs build -f mkdocs-ko.yml -q
- name: Build docs (English)
run: cd docs && mkdocs build -f mkdocs-en.yml -q
- name: Create index redirect
run: |
cat > output/docs/index.html << 'HEREDOC'
<!DOCTYPE html>
<html>
<head><meta http-equiv="refresh" content="0; url=ko/"></head>
<body><a href="ko/">한국어</a> | <a href="en/">English</a></body>
</html>
HEREDOC
- name: Upload Pages artifact
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
uses: actions/upload-pages-artifact@v3
with:
path: output/docs
deploy:
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
needs: verify
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4