From 74fe8bebc4b547664eea6b3df9936f0bc8ba4e1b Mon Sep 17 00:00:00 2001 From: Lisanna Dettwyler Date: Wed, 24 Mar 2021 11:22:16 -0700 Subject: [PATCH] Remove unnecessary checkout --- .github/workflows/ci.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6f3debfc8..8ce62a4db 100644 --- 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-"