From 678ca91ea3d30f8e7b95523865eac80f54e5e3f9 Mon Sep 17 00:00:00 2001 From: Antonio SJ Musumeci Date: Mon, 16 Dec 2024 18:19:48 -0600 Subject: [PATCH] checkpoint --- .github/workflows/mkdocs.yml | 40 ++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 .github/workflows/mkdocs.yml diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml new file mode 100644 index 000000000..d8bae246e --- /dev/null +++ b/.github/workflows/mkdocs.yml @@ -0,0 +1,40 @@ +name: Build and Deploy MkDocs + +on: + push: + branches: + - docstest + +jobs: + deploy: + runs-on: ubuntu-latest # Use Ubuntu as the runner environment + + steps: + # Step 1: Checkout the repository + - name: Checkout repository + uses: actions/checkout@v3 + + # Step 2: Set up Python environment + - name: Set up Python + uses: actions/setup-python@v4 + with: + python-version: "3.x" # Specify the Python version + + # Step 3: Install MkDocs and dependencies + - name: Install MkDocs + run: | + pip install mkdocs + pip install mkdocs-material # Optional: MkDocs Material theme + + # Step 4: Build and Deploy to GitHub Pages + - name: Deploy to GitHub Pages + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./site # Directory to publish (MkDocs builds here by default) + # Optional: Add "cname: www.example.com" if using a custom domain + + # Step 5: Build MkDocs site + - name: Build MkDocs site + run: | + mkdocs build