Skip to content

fix: 스키마 테이블 아이콘 컬럼 고정 폭 (1.5em) #45

fix: 스키마 테이블 아이콘 컬럼 고정 폭 (1.5em)

fix: 스키마 테이블 아이콘 컬럼 고정 폭 (1.5em) #45

Workflow file for this run

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