From 7f8035a134ffad7bdbbd8ca3b4aaf8f92217f53b Mon Sep 17 00:00:00 2001
From: Oleks Litus <oleks.litus@gmail.com>
Date: Mon, 22 May 2023 23:27:28 -0400
Subject: [PATCH] More purging

---
 .github/workflows/gh-pages.yml | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 .github/workflows/gh-pages.yml

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
deleted file mode 100644
index c28838d..0000000
--- a/.github/workflows/gh-pages.yml
+++ /dev/null
@@ -1,30 +0,0 @@
-name: github pages
-
-on:
-  push:
-    branches:
-      - main
-  pull_request:
-
-jobs:
-  deploy:
-    runs-on: ubuntu-20.04
-    concurrency:
-      group: ${{ github.workflow }}-${{ github.ref }}
-    steps:
-      - uses: actions/checkout@v2
-
-      - name: Setup mdBook
-        uses: peaceiris/actions-mdbook@v1
-        with:
-          mdbook-version: '0.4.10'
-          # mdbook-version: 'latest'
-
-      - run: mdbook build
-
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
-        if: ${{ github.ref == 'refs/heads/main' }}
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./book