Merge hsml GitHub Actions

logicalclocks · Jul 5, 2024 · 5d198d4 · 5d198d4
1 parent 97e15df
commit 5d198d4
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 240 deletions.
diff --git a/.github/workflows/mkdocs-release.yml b/.github/workflows/mkdocs-release.yml
@@ -53,6 +53,7 @@ jobs:
         run: |
           git config --global user.name Mike
           git config --global user.email [email protected]
+
       - name: mike deploy docs
         run: |
           mike deploy ${{ env.RELEASE_VERSION }} ${{ env.MAJOR_VERSION }} -u --push

diff --git a/hsml/.github/workflows/mkdocs-main.yml b/hsml/.github/workflows/mkdocs-main.yml
diff --git a/hsml/.github/workflows/mkdocs-release.yml b/hsml/.github/workflows/mkdocs-release.yml
diff --git a/hsml/.github/workflows/python-lint.yml b/hsml/.github/workflows/python-lint.yml