From fe97779a06ab7499eb3d4c5c6360778e6b6d337b Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel@schemmel.net>
Date: Thu, 30 Jun 2022 02:27:05 +0100
Subject: checkout KLEE with depth > 1 when running codecov

---
 .github/workflows/build.yaml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index b47995c8..307dd8f2 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -172,6 +172,11 @@ jobs:
     steps:
       - name: Checkout KLEE source code
         uses: actions/checkout@v3
+        with:
+          # Codecov may run into "Issue detecting commit SHA. Please run
+          # actions/checkout with fetch-depth > 1 or set to 0" when uploading.
+          # See also https://github.com/codecov/codecov-action/issues/190
+          fetch-depth: 2
       - name: Build KLEE
         env: ${{ matrix.env }}
         run: scripts/build/build.sh klee --docker --create-final-image
-- 
cgit 1.4.1