From ea914a9eea8e484189ee6e4c4dcdfc7db831d987 Mon Sep 17 00:00:00 2001 From: Valentin Robert Date: Mon, 5 Apr 2021 18:13:04 -0700 Subject: [PATCH] Update saw-core-coq-check-coq-files.yml (#195) Fix the workflow. --- .github/workflows/saw-core-coq-check-coq-files.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/saw-core-coq-check-coq-files.yml b/.github/workflows/saw-core-coq-check-coq-files.yml index 7b7fb11f..8a7756ee 100644 --- 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 git@github.com: - - name: Cache ~/.opam uses: actions/cache@v2 with: