Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
57 changes: 57 additions & 0 deletions .github/workflows/deploy_docs.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
name: Deploy Docs

on:
# Trigger: main or basic-dev branch has push
push:
branches:
- main
- basic-dev # You can test the effect on the development branch

# Allow manual trigger (click the button on the Actions page)
workflow_dispatch:

# Permission setting: must give write permission to push to gh-pages branch
permissions:
contents: write

jobs:
deploy:
runs-on: ubuntu-latest

steps:
# 1. Pull code
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0 # Pull full history, some mkdocs plugins may need git information

# 2. Set up Python environment
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: "3.10"
cache: "pip"

# 3. Install dependencies
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install .
pip install mkdocs-material

- name: Generate Puzzle Docs
run: |
python scripts/gen_docs.py

- name: Build MkDocs
run: mkdocs build

- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./site
force_orphan: true

user_name: "github-actions[bot]"
user_email: "41898282+github-actions[bot]@users.noreply.github.com"
3 changes: 2 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -153,4 +153,5 @@ cython_debug/

# Ignore dataset directory
assets/
benchmark_results/
benchmark_results/
docs/puzzles/*.md
259 changes: 136 additions & 123 deletions README.md

Large diffs are not rendered by default.

97 changes: 0 additions & 97 deletions crawlers/ABCEndViewCrawler.py

This file was deleted.

174 changes: 0 additions & 174 deletions crawlers/AkariCrawler.py

This file was deleted.

1 change: 0 additions & 1 deletion crawlers/AquariumCrawler.py

This file was deleted.

3 changes: 0 additions & 3 deletions crawlers/BalanceLoopCrawler.py

This file was deleted.

Loading