From 0c7fa81d24e8166e50b2dc02f78f6365ed442f30 Mon Sep 17 00:00:00 2001 From: Kushaan Gupta Date: Tue, 1 Oct 2024 09:15:48 -0400 Subject: [PATCH] add github pages deployment workflow --- .github/workflows/deploy-docs.yml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 .github/workflows/deploy-docs.yml diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml new file mode 100644 index 0000000..5902c77 --- /dev/null +++ b/.github/workflows/deploy-docs.yml @@ -0,0 +1,24 @@ +name: Deploy docs +on: [push, pull_request] +jobs: + build: + name: Deploy docs + runs-on: ubuntu-latest + steps: + - name: Download source + uses: actions/checkout@v3 + - name: Install Crystal + uses: oprypin/install-crystal@v1 + - name: Install Python + uses: actions/setup-python@v4 + with: + python-version: '3.x' + - name: Install Python libs + run: pip install . + - name: Install Crystal libs + run: shards install + - name: Build site + run: mkdocs build + - name: Deploy to gh-pages + if: github.event_name == 'push' && github.ref == 'refs/heads/main' + run: mkdocs gh-deploy --force