From ae6cee724ae3ff08a3b8426aecfff4aeda0ce2fd Mon Sep 17 00:00:00 2001 From: Lonnie Ezell Date: Thu, 24 Feb 2022 08:15:30 -0600 Subject: [PATCH] Revert "junk" --- .github/workflows/deploy-userguide.yml | 53 -------------------------- 1 file changed, 53 deletions(-) delete mode 100644 .github/workflows/deploy-userguide.yml diff --git a/.github/workflows/deploy-userguide.yml b/.github/workflows/deploy-userguide.yml deleted file mode 100644 index ad0b48ae6559..000000000000 --- a/.github/workflows/deploy-userguide.yml +++ /dev/null @@ -1,53 +0,0 @@ -# When changes are pushed to the master branch, -# build the current version of the User Guide -# with Sphinx and deploy it to the production server. -# -# @todo Consolidate checkouts -name: Deploy User Guide - -on: - push: - branches: - - 'master' - paths: - - 'user_guide_src/**' - -jobs: - build: - name: Deploy to production - if: (github.repository == 'codeigniter4/CodeIgniter4') - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v2 - - # Build the latest User Guide - - name: Build with Sphinx - uses: ammaraskar/sphinx-action@0.4 - with: - docs-folder: user_guide_src/ - - # Create an artifact of the html output - - name: Upload artifact - uses: actions/upload-artifact@v2 - with: - name: HTML Documentation - path: user_guide_src/build/html/ - - - name: Install SSH key - uses: shimataro/ssh-key-action@v2 - with: - key: ${{ secrets.DEPLOY_KEY }} - name: id_rsa - known_hosts: ${{ secrets.SSH_KNOWN_HOSTS }} - - - name: Deploy to Webserver - uses: yeshan333/rsync-deploy-action@main - id: rsync-deploy-action - with: - ssh_login_username: ${{ secrets.DEPLOY_USER }} - remote_server_ip: ${{ secrets.DEPLOY_SSH_BOX }} - ssh_port: ${{ secrets.DEPLOY_PORT }} - ssh_private_key: ${{ secrets.DEPLOY_KEY }} - source_path: "user_guide_src/build/html/*" - destination_path: "/home/public_html/userguides/user_guide_4/"