Revert unwanted docs_action branch commits

malcolm-dsider · Nov 7, 2023 · 7cddd43 · 7cddd43
1 parent fe08d53
commit 7cddd43
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 76 deletions.
diff --git a/.github/workflows/build_docs b/.github/workflows/build_docs
diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml