Remove cruft and fix path

Author: jarrodmillman

.github/workflows/circleci_redirect.yml

@@ -1,4 +1,4 @@
-name: CircleCI redirect
+name: circleci
 
 on: [status]
 
@@ -24,4 +24,4 @@ jobs:
       - name: Check the URL
         if: github.event.status != 'pending'
         run: |
-          curl --fail ${{ steps.step1.outputs.url }} | grep $GITHUB_SHA
+          curl --fail ${{ circleci.steps.step1.outputs.url }} | grep $GITHUB_SHA

.github/workflows/deploy.yml

@@ -46,14 +46,6 @@ jobs:
         if: github.ref == 'refs/heads/main'
         run: make html
 
-      - uses: peaceiris/actions-gh-pages@v4
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          external_repository: UC-OSPO-Network/UC-OSPO-Network.github.io
-          publish_branch: main
-          publish_dir: _build/html
-          cname: ucospo.net
-
       - name: Deploy website
         if: github.ref == 'refs/heads/main'
         uses: JamesIves/github-pages-deploy-action@releases/v4