Update saw-core-coq-check-coq-files.yml (#195)

Fix the workflow.
GaloisInc · Apr 6, 2021 · ea914a9 · ea914a9
1 parent fc1d60f
commit ea914a9
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/saw-core-coq-check-coq-files.yml b/.github/workflows/saw-core-coq-check-coq-files.yml
@@ -26,8 +26,6 @@ jobs:
 
       - uses: actions/checkout@v2
 
-      - run: git config --global url.https://github.com/.insteadOf [email protected]:
-
       - name: Cache ~/.opam
         uses: actions/cache@v2
         with: