# Deploy docs to GitHub Pages (optional)
# Enable in repo: Settings → Pages → Source: GitHub Actions
# Site will be at https://jakubbbdev.github.io/terminal-ui/
name: Pages
on:
push:
branches: [master, main]
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
jobs:
deploy:
runs-on: ubuntu-latest
environment: github-pages
steps:
- uses: actions/checkout@v4
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Build site
run: |
mkdir -p _site
cp -r docs _site/
cat > _site/index.html << 'EOF'
terminal-ui
terminal-ui
Java library for terminal UIs: tables, prompts, menus, and more.
EOF
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: _site
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4