Skip to content

Merge branch 'main' of github.com:open223/defs.open223.info #3

Merge branch 'main' of github.com:open223/defs.open223.info

Merge branch 'main' of github.com:open223/defs.open223.info #3

Workflow file for this run

name: Build index.html
on:
push:
branches:
- main
workflow_dispatch:
permissions:
contents: write
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: false
jobs:
build-and-run:
runs-on: ubuntu-latest
steps:
- name: Checkout Remote Repository
uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Run image
uses: abatilo/actions-poetry@v2
- name: install deps
run: poetry install
- name: make index.html
run: make static/index.html
- name: Commit Built Files
run: |
git config user.name "GitHub Action"
git config user.email "[email protected]"
git add index.html
git diff --quiet --exit-code || git commit -m "Commit built files" && git push
- name: Setup Pages
uses: actions/configure-pages@v3
- name: Upload artifact
uses: actions/upload-pages-artifact@v1
with:
path: '.'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2