diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2022-06-30 02:27:05 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2022-06-30 12:07:45 +0100 |
| commit | fe97779a06ab7499eb3d4c5c6360778e6b6d337b (patch) | |
| tree | be19d9f29e906f23afff69f47f016554e0d05719 /.github | |
| parent | b4d9a72a8be631c45aff20c95e2b78259e519d13 (diff) | |
| download | klee-fe97779a06ab7499eb3d4c5c6360778e6b6d337b.tar.gz | |
checkout KLEE with depth > 1 when running codecov
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 5 |
1 files changed, 5 insertions, 0 deletions
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 |