Switch to GitHub's runners (#473)

No longer have access to Leviathan or other UW machines, so switching to
GitHub CI. May want to consider paying for better machines, if it's
affordable.

Closes #474

.github/workflows/run-checks-github-runners.yml

@@ -34,11 +34,11 @@ jobs:
   #
   # TODO(@gussmith23) It would be nice if this wasn't necessary. We could use
   # this: https://docs.github.com/en/actions/hosting-your-own-runners/running-scripts-before-or-after-a-job
-  cleaner:
-    runs-on: self-hosted
-    steps:
-      - name: Clean up previous runs
-        run: rm -rf "${{ github.workspace }}"
+  # cleaner:
+  #   runs-on: self-hosted
+  #   steps:
+  #     - name: Clean up previous runs
+  #       run: rm -rf "${{ github.workspace }}"
 
   build-and-push-image:
     runs-on: ubuntu-latest
@@ -47,15 +47,11 @@ jobs:
       packages: write
 
     steps:
-      # Set up SSH agent for cloning lakeroad-private.
-      - uses: webfactory/[email protected]
-        with:
-          ssh-private-key: ${{ secrets.LAKEROAD_PRIVATE_SSH_KEY }}
-
       - name: Checkout repository
         uses: actions/checkout@v3
         with:
           submodules: true
+          token: ${{ secrets.LAKEROAD_PRIVATE_PAT }}
 
       - name: Log in to the Container registry
         uses: docker/[email protected]
@@ -91,8 +87,8 @@ jobs:
   #
   # Perhaps we should run this on both?
   run-tests:
-    runs-on: self-hosted
-    needs: [build-and-push-image, cleaner]
+    runs-on: ubuntu-latest
+    needs: [build-and-push-image] #, cleaner]
     steps:
       - name: Log in to the Container registry
         uses: docker/[email protected]