Remove unnecessary checkout

GaloisInc · Mar 24, 2021 · 74fe8be · 74fe8be
1 parent daa70cd
commit 74fe8be
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -237,10 +237,6 @@ jobs:
             image: ghcr.io/galoisinc/cryptol-remote-api
             cache: ghcr.io/galoisinc/cache-cryptol-remote-api
     steps:
-      - uses: actions/checkout@v2
-        with:
-          submodules: true
-
       - if: matrix.build-args == 'PORTABILITY=true'
         id: prefix
         run: echo "::set-output name=prefix::portable-"