From 09ed71f781cf868ab739537ff50a6d1e1be76d5d Mon Sep 17 00:00:00 2001 From: Steve Miller <43918257+kc1awv@users.noreply.github.com> Date: Mon, 7 Mar 2022 08:44:14 -0500 Subject: [PATCH] Delete .github/workflows directory --- .github/workflows/pull_request.yml | 18 -------------- .github/workflows/push.yml | 40 ------------------------------ 2 files changed, 58 deletions(-) delete mode 100644 .github/workflows/pull_request.yml delete mode 100644 .github/workflows/push.yml diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml deleted file mode 100644 index 1164f0c..0000000 --- a/.github/workflows/pull_request.yml +++ /dev/null @@ -1,18 +0,0 @@ -name: "Pull Request Docs Check" -on: -- pull_request - -jobs: - docs: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v1 - - uses: ammaraskar/sphinx-action@master - with: - docs-folder: "docs/" - build-command: "make html" - # Create an artifact of the html output. - - uses: actions/upload-artifact@v1 - with: - name: DocumentationHTML - path: docs/_build/html/ diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml deleted file mode 100644 index 1b13d8a..0000000 --- a/.github/workflows/push.yml +++ /dev/null @@ -1,40 +0,0 @@ -name: "Push Generate Docs" -on: - push: - branches: - - master -jobs: - docs: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v1 - - uses: ammaraskar/sphinx-action@master - with: - docs-folder: "docs/" - build-command: "make html" - # Create an artifact of the html output. - - uses: actions/upload-artifact@v1 - with: - name: DocumentationHTML - path: docs/_build/html/ - # Publish built docs to gh-pages branch. - # =============================== - - name: Commit documentation changes - run: | - git clone https://github.com/M17-Project/M17_spec.git --branch gh-pages --single-branch gh-pages - cp -r docs/_build/html/* gh-pages/ - cd gh-pages - touch .nojekyll - git config --local user.email "smiller@kc1awv.net" - git config --local user.name "kc1awv" - git add . - git commit -m "Update live documentation" -a || true - # The above command will fail if no changes were present, so we ignore - # that. - - name: Push changes - uses: ad-m/github-push-action@master - with: - branch: gh-pages - directory: gh-pages - github_token: ${{ secrets.GH_TOKEN }} - # ===============================