Update workflow

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

@@ -47,15 +47,8 @@ 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
 
       - name: Log in to the Container registry
         uses: docker/login-action@v2
@@ -121,10 +114,5 @@ jobs:
       - name: Pull image
         run: docker pull ${{ env.IMAGE_TAG }}
 
-      - name: Racket format check
-        run: |
-          docker run ${{ env.IMAGE_TAG }} \
-            bash -c 'raco fmt -i racket/*.rkt && git diff && [ -z "$(git status --porcelain)" ]'
-
       - name: Rust format check
-        run: docker run ${{ env.IMAGE_TAG }} cargo fmt --manifest-path ./rust/Cargo.toml -- --check
+        run: docker run ${{ env.IMAGE_TAG }} cargo fmt --manifest-path ./Cargo.toml -- --check