From a8dfe1a0b324f022791ef2523cc0247a295c219f Mon Sep 17 00:00:00 2001
From: Evan Almloff <evanalmloff@gmail.com>
Date: Fri, 15 Sep 2023 11:47:37 -0500
Subject: [PATCH] disable docs CI

---
 .github/workflows/docs.yml | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 107ad9638..88542aea8 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,12 +1,13 @@
 name: github pages
 
 on:
-  push:
-    paths:
-      - docs/**
-      - .github/workflows/docs.yml
-    branches:
-      - master
+  workflow_dispatch:
+  # push:
+  #   paths:
+  #     - docs/**
+  #     - .github/workflows/docs.yml
+  #   branches:
+  #     - master
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}