move workflow to .github

zkurtz · Nov 17, 2024 · 18bb7b2 · 18bb7b2
1 parent dc36df5
commit 18bb7b2
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/.github/workflows/deploy-docs.yml → .github/workflows/deploy-docs.yml b/docs/.github/workflows/deploy-docs.yml → .github/workflows/deploy-docs.yml